4761 search results - page 77 / 953 » Components, Frameworks, Patterns |
102
Voted
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
116
Voted
CADE
2007
Springer
16 years 28 days ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
96
Voted
SNPD
2008
15 years 2 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
89
Voted
KES
2006
Springer
15 years 17 days ago
2006
Springer
Embodied Conversational Agents (ECAs) are computer generated life-like characters that interact with human users in face-to-face conversations. To achieve natural multi-modal conve...
WRAC
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we describe an on-going project called Concept and Sensor Networks (CSN). The development of this project has been described in past PSMP workshops [1]. The purpose ...