1598 search results - page 203 / 320 » High-Assurance Distributed, Adaptive Software for Dynamic Sy... |
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
JCDL
2004
ACM
14 years 3 months ago
2004
ACM
This paper describes a Web-services-based system which we have developed to enable organizations to semi-automatically preserve their digital collections by dynamically discoverin...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— In modern wireless networks the functions included into layer II have to deal with complex problems, such as security and access control, that were previously demanded to upper...
SAC
2005
ACM
14 years 3 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
PERCOM
2007
ACM
14 years 10 months ago
2007
ACM
Pervasive Computing envisions distributed applications that optimally leverage the resources present in their ever-changing execution environment. To ease the development of perva...