1681 search results - page 28 / 337 » Formal Design of Distributed Control Systems with Lustre |
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
Detecting and preventing the adversarial action of an agent with respect to the community of agents can be a serious issue in the design of open multi-agent systems. This task is ...
93
Voted
CCGRID
2002
IEEE
15 years 2 months ago
2002
IEEE
Resource management is a central part of a Grid computing system. In a large-scale wide-area system such as the Grid, security is a prime concern. One approach is to be conservati...
PRDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
EMSOFT
2006
Springer
14 years 11 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
SCANGIS
2003
14 years 11 months ago
2003
Abstract. This paper discusses concurrency control in distributed geographical database systems. A geographic data server providing transactional services must be designed to handl...