1116 search results - page 130 / 224 » Applying Predicate Abstraction to Abstract State Machines |
142
click to vote
ACII
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. This paper presents an expressive gesture model that generates communicative gestures accompanying speech for the humanoid robot Nao. The research work focuses mainly on ...
ISHPC
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. Dynamic program optimization is the only recourse for optimizing compilers when machine and program parameters necessary for applying an optimization technique are unknow...
UML
2005
Springer
15 years 4 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
ISSTA
2004
ACM
15 years 4 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
104
click to vote
RTAS
2006
IEEE
15 years 5 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...