157 search results - page 2 / 32 » Formal Modeling and Analysis of Hybrid Systems: A Case Study... |
ENTCS
2007
13 years 5 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
HYBRID
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
INFOCOM
2010
IEEE
13 years 3 months ago
2010
IEEE
—The P2P pull-push hybrid architecture has achieved great success in delivering live video traffic over the Internet. However, a formal study on the sub-stream scheduling proble...
IFM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
IADIS
2004
13 years 6 months ago
2004
The evolving nature of complex traffic issues of IP (Internet Protocol)-based Telecollaboration (TC) business system technology requires an intuitive understanding for the partici...