1681 search results - page 101 / 337 » Formal Design of Distributed Control Systems with Lustre |
KESAMSTA
2010
Springer
14 years 21 days ago
2010
Springer
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...
ICDCS
2007
IEEE
14 years 5 months ago
2007
IEEE
Peer to peer (P2P) systems are moving from application specific architectures to a generic service oriented design philosophy. This raises interesting problems in connection with...
HYBRID
2009
Springer
14 years 5 months ago
2009
Springer
This paper studies distributed networked systems with data dropouts and transmission delays. We propose a decentralized eventtriggering scheme, where a subsystem broadcasts its sta...
GRID
2004
Springer
14 years 4 months ago
2004
Springer
e-Science has much to benefit from the emerging field of grid computing. However, construction of e-Science grids is a complex and inefficient undertaking. In particular, deployme...
HIPC
2003
Springer
14 years 4 months ago
2003
Springer
The use of feedback control techniques has been gaining importance in real-time scheduling as a means to provide predictable performance in the face of uncertain workload. In this ...