193 search results - page 5 / 39 » Modeling Environment for Component Model Checking from Hiera... |
UIST
1993
ACM
14 years 19 days ago
1993
ACM
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
AGI
2011
13 years 6 days ago
2011
We present an architectural approach to learning problem solving skills from demonstration, using internal models to represent problem-solving operational knowledge. Internal forwa...
IFIPTCS
2000
14 years 5 days ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
TOCS
2008
13 years 8 months ago
2008
Component-based software structuring principles are now commonly and successfully applied at the application level; but componentisation is far less established when it comes to b...
ENTCS
2007
13 years 8 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...