1681 search results - page 76 / 337 » Formal Design of Distributed Control Systems with Lustre |
FM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Middleware technologies often limit the way in which object classes may be used in distributed applications due to the fixed distribution policies that they impose. These policies...
CONCUR
1989
Springer
14 years 2 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
PDCAT
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes a new protocol for authentication in Peer-to-Peer systems. The protocol has been designed to meet specialized requirements of P2P systems, such as lack of dir...
FM
2003
Springer
14 years 3 months ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...