193 search results - page 10 / 39 » Modeling Environment for Component Model Checking from Hiera... |
CAV
2006
Springer
14 years 10 days ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
IEEESCC
2006
IEEE
14 years 2 months ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
VRCAI
2009
ACM
14 years 3 months ago
2009
ACM
Object Segmentation is an important step in object reconstruction from point cloud data of complex urban scenes and in applications to virtual environment. This paper focuses on s...
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
FTRTFT
1998
Springer
14 years 24 days ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...