3305 search results - page 391 / 661 » Models and Modeling Infrastructures for Global Computational... |
160
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
195
click to vote
SCALESPACE
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, a generative model based method for recovering both the shape and the reflectance of the surface(s) of a scene from multiple images is presented, assuming that illu...
175
click to vote
VLSM
2005
Springer
16 years 21 days ago
2005
Springer
In this paper we describe a new framework for the tracking of closed curves described through implicit surface modeling. The approach proposed here enables a continuous tracking al...
188
click to vote
GC
2004
Springer
16 years 18 days ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
192
click to vote
SAPIR
2004
Springer
16 years 17 days ago
2004
Springer
End-to-end QoS has been seldom studied in its inter-domain aspects, particularly within the scope of the global Internet and from an engineering perspective. This paper is intended...