452 search results - page 33 / 91 » Symbolic Execution of Behavioral Requirements |
148
click to vote
SNPD
2008
15 years 7 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...
176
click to vote
ASPLOS
2006
ACM
16 years 15 hour ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
173
click to vote
ESAW
2000
Springer
15 years 9 months ago
2000
Springer
The design and development of Internet applications can take advantage of a paradigm based on autonomous and mobile agents. However, agent mobility introduces peculiar coordinatio...
167
click to vote
AROBOTS
2004
15 years 5 months ago
2004
The control of robot swarming in a distributed manner is a difficult problem because global behaviors must emerge as a result of many local actions. This paper uses a bio-inspired ...
159
click to vote
DSN
2009
IEEE
16 years 24 days ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...