4460 search results - page 327 / 892 » Formal methods for interactive systems |
148
click to vote
WSC
1997
15 years 8 months ago
1997
The C-17 Airdrop Model provides the Air Force and Army test and evaluation community with the capability to (i) assess the risk of vortex encounters, and (ii) predict ground dispe...
166
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Agents in a multi-agent system do not act in a vacuum. The outcome of their efforts depends on the environment in which they seek to act, and in particular on the efforts of other...
209
click to vote
VR
2008
IEEE
15 years 5 months ago
2008
IEEE
It is difficult to implement a stable and realistic haptic simulation for cutting rigid objects that is based on a damping model because of an inevitable conflict between stability...
175
click to vote
ACSD
2006
IEEE
16 years 23 days ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
209
click to vote
AOSE
2000
Springer
15 years 11 months ago
2000
Springer
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...