452 search results - page 73 / 91 » Symbolic Execution of Behavioral Requirements |
106
Voted
HIS
2008
15 years 2 months 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...
98
Voted
SIMUTOOLS
2008
15 years 2 months 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...
81
Voted
SBACPAD
2004
IEEE
15 years 2 months 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...
124
Voted
GLOBECOM
2008
IEEE
15 years 26 days 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...
114
Voted
AR
2008
15 years 25 days 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...