1675 search results - page 62 / 335 » Compositional Model-Based Design |
124
Voted
ICFEM
2009
Springer
14 years 12 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
95
Voted
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
— We present a set of tools and a process, making use of inexpensive and environmentally friendly materials, that enable the rapid realization of fully functional large scale pro...
106
Voted
CAV
2009
Springer
16 years 2 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
143
Voted
EDOC
2002
IEEE
15 years 7 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
117
Voted
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...