1351 search results - page 191 / 271 » A Possible Approach to the Development of Robotic Multi-Agen... |
158
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
166
click to vote
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
We will describe a visual development system for exploring face space, both in terms of facial types and animated expressions. Imagine an n-dimensional space describing every huma...
154
click to vote
EGOV
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we present a framework for identifying the test focus and test objectives based on the assumption that automatic information processing based on encoded meaning is th...
176
click to vote
SOSYM
2010
15 years 4 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
176
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Performance evaluation of embedded software is essential in an early development phase so as to ensure that the software will run on the embedded device's limited computing r...