1681 search results - page 102 / 337 » Formal Design of Distributed Control Systems with Lustre |
CSFW
2007
IEEE
14 years 5 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
OSDI
2002
ACM
14 years 11 months ago
2002
ACM
Three experimental environments traditionally support network and distributed systems research: network emulators, network simulators, and live networks. The continued use of mult...
ECRTS
1999
IEEE
14 years 3 months ago
1999
IEEE
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...
CCS
2009
ACM
14 years 11 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
FTDCS
1997
IEEE
14 years 3 months ago
1997
IEEE
Though causal order of message delivery simplifies the design and development of distributed applications, the overhead of enforcing it is not negligible. Causal order algorithm w...