1681 search results - page 149 / 337 » Formal Design of Distributed Control Systems with Lustre |
132
click to vote
EATIS
2009
ACM
15 years 1 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...
105
click to vote
AAMAS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract The advent of large-scale distributed systems poses unique engineering challenges. In open systems such as the internet it is not possible to prescribe the behaviour of al...
CCS
2007
ACM
15 years 4 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
APLAS
2006
ACM
15 years 4 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
CLUSTER
2004
IEEE
14 years 9 months ago
2004
IEEE
Grid computing systems are emerging as a computing infrastructure that will enable the use of wide-area network computing systems for a variety of challenging applications. One of ...