1681 search results - page 193 / 337 » Formal Design of Distributed Control Systems with Lustre |
105
click to vote
ATAL
2008
Springer
15 years 6 hour ago
2008
Springer
Complete algorithms have been proposed to solve problems modelled as distributed constraint optimization (DCOP). However, there are only few attempts to address real world scenari...
DEXAW
2003
IEEE
15 years 3 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
FORTE
2004
14 years 11 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
SRDS
2006
IEEE
15 years 4 months ago
2006
IEEE
Peer-to-peer overlays allow distributed applications to work in a wide-area, scalable, and fault-tolerant manner. However, most structured and unstructured overlays present in lit...
MOBICOM
2003
ACM
15 years 3 months ago
2003
ACM
Routers are expected to play an important role in the IPbased wireless data network. Although a substantial number of techniques have been proposed to improve wireless network per...