418 search results - page 55 / 84 » Deriving Systems Level Security Properties of Component Base... |
ECRTS
2008
IEEE
13 years 9 months ago
2008
IEEE
Modern real-time systems must be designed to be highly adaptable, reacting to aperiodic events in a predictable manner and exhibiting graceful degradation in overload scenarios wh...
FM
2006
Springer
13 years 11 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
WSC
2004
13 years 9 months ago
2004
With the properties of autonomy, social ability, reactivity and pro-activeness, agents can be used to represent entities in distributed simulations, where fast and accurate decisi...
ECCV
2000
Springer
14 years 9 months ago
2000
Springer
Abstract. This paper presents anovel variational method forimage segmentation that uni es boundary and region-based information sources under the Geodesic Active Region framework. ...
ADBIS
2005
Springer
14 years 1 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...