64 search results - page 6 / 13 » Compositional and Uniform Modelling of Hybrid Systems |
HYBRID
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
111
click to vote
RTSS
2003
IEEE
15 years 4 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
MIDDLEWARE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Epidemic protocols have demonstrated remarkable scalability and robustness in disseminating information on internet-scale, dynamic P2P systems. However, popular instances...
ICIW
2009
IEEE
15 years 6 months ago
2009
IEEE
So far, little research has addressed reuse and contextawareness with respect to rich web-based user interfaces. Uniform models for encapsulation and reuse have been developed for...