367 search results - page 38 / 74 » Executable Specifications for Real-Time Distributed Systems |
150
Voted
CORR
2004
Springer
15 years 20 days ago
2004
Springer
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
122
Voted
DAIS
2007
15 years 2 months ago
2007
Constructing and executing distributed applications that can adapt to their current operating context, in order to maintain or enhance Quality of Service (QoS) attribute levels, ar...
91
Voted
TC
2002
15 years 14 days ago
2002
Abstract-- Current systems are very often based on largescale, unpredictable and unreliable infrastructures. However, users of these systems increasingly require services with time...
110
Voted
ETFA
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
98
Voted
LISA
2007
15 years 3 months ago
2007
Support for distributed application management in large-scale networked environments remains in its early stages. Although a number of solutions exist for subtasks of application ...