1681 search results - page 79 / 337 » Formal Design of Distributed Control Systems with Lustre |
SUTC
2006
IEEE
15 years 3 months ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
Many modern massively distributed systems deploy thousands of nodes to cooperate on a computation task. Network congestions occur in these systems. Most applications rely on conge...
ENTCS
2002
14 years 9 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
ICDCSW
2005
IEEE
15 years 3 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
ECSCW
2001
14 years 11 months ago
2001
This paper seeks to inform the ongoing redesign of air traffic management by examining current practices and the adoption of a new system aiming to relieve traffic control from wor...