4434 search results - page 10 / 887 » On the Composition of Hybrid Systems |
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
WWW
2004
ACM
16 years 12 days ago
2004
ACM
The importance of service composition has been widely recognized in the Internet research community due to its high flexibility in allowing development of customized applications....
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...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper1 provides a view of modeling the information dominance problem of military systems as representative of modeling other complex systems. The ideas are an extension of ea...