452 search results - page 73 / 91 » Symbolic Execution of Behavioral Requirements |
HIS
2008
15 years 8 days ago
2008
Simulating the realistic behavior of large crowds of autonomous agents is still a challenge for the computer graphics community. In order to handle large crowds, some scalable arc...
78
Voted
SIMUTOOLS
2008
15 years 8 days ago
2008
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
SBACPAD
2004
IEEE
15 years 6 days ago
2004
IEEE
High-performance superscalar processors are designed with the help of complex simulation environment. The simulation infrastructure permits to validate the processor instruction s...
110
Voted
GLOBECOM
2008
IEEE
14 years 11 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
AR
2008
14 years 11 months ago
2008
Human-like behavior is crucial for intelligent service robots that are to perform versatile tasks in day to day life. In this paper, an integrated approach to human-like manipulat...