4890 search results - page 96 / 978 » From system specifications to component behavioral models |
ISSTA
2006
ACM
15 years 3 months ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
103
click to vote
FASE
2005
Springer
15 years 3 months ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, we present a new trajectory planning algorithm for virtual humans. Our approach focuses on implicit cooperation between multiple virtual agents in order to share th...
ISORC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...