85 search results - page 16 / 17 » Specification, validation, and verification of time-critical... |
124
Voted
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
ATAL
2010
Springer
15 years 18 days 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...
98
Voted
NSDI
2004
15 years 26 days ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
97
Voted
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
105
Voted
SIGSOFT
2009
ACM
16 years 7 days ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...