1796 search results - page 235 / 360 » An Approach to Compositional Model Checking |
ISF
2007
13 years 8 months ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
3DPVT
2006
IEEE
14 years 2 months ago
2006
IEEE
We propose a multiview tracking method for rigid objects. Assuming that a part of the object is visible in at least two cameras, a partial 3D model is reconstructed in terms of a ...
ISTA
2004
13 years 9 months ago
2004
: We present in this paper a transformation model for structured documents. TransM is a new model that deals with specified documents, where the structure conforms to a predefined ...
MM
1993
ACM
14 years 9 days ago
1993
ACM
This paper addresses the key issue of providing flexible multimedia presentation with user participation and suggests synchronization models which can specify the user participat...
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...