114 search results - page 4 / 23 » Design and Verification of Distributed Multi-media Systems |
DALT
2004
Springer
13 years 11 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
MASCOTS
2004
13 years 8 months ago
2004
In the ever increasing world of distributed systems, different middleware implementations can be compared qualitatively or quantitatively. Existing evaluation techniques are often...
CCR
2004
13 years 7 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
CDC
2009
IEEE
13 years 8 months ago
2009
IEEE
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...