1681 search results - page 117 / 337 » Formal Design of Distributed Control Systems with Lustre |
ADBIS
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. In [1, 8] we proposed a complete design of a workflow management system using mobile agents. The proposed solution was highly distributed and almost without centralized ...
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
FROCOS
2005
Springer
14 years 4 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
EUROSYS
2010
ACM
14 years 3 months ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
ISOLA
2010
Springer
13 years 9 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...