1681 search results - page 204 / 337 » Formal Design of Distributed Control Systems with Lustre |
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— This paper studies robotic sensor networks performing coverage optimization tasks with area constraints. The network coverage of the environment is a function of the ro...
SAC
2011
ACM
14 years 23 days ago
2011
ACM
Quadrotor helicopters are micro air vehicles with vertical take-off and landing capabilities controlled by varying the rotation speed of four fixed pitch propellers. Due to their...
SACMAT
2006
ACM
15 years 3 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
COOPIS
2004
IEEE
15 years 1 months ago
2004
IEEE
1 Although ontology has gained wide attention in the area of information systems, a criticism typical of the early days is still rehearsed here and there. Roughly, this criticism s...
EUROSYS
2007
ACM
15 years 1 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...