2089 search results - page 84 / 418 » Finding Environment Guarantees |
EUROPAR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Recent proposals have shown that database replication providing 1copy-serializability can have excellent performance in LAN environments by using powerful multicast primi...
IVA
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we propose a new integration approach to simulate an Autonomous Virtual Agent's cognitive learning of a task for interactive Virtual Environment applications. O...
ICRA
2000
IEEE
14 years 2 months ago
2000
IEEE
Creating a compelling haptic sense of immersion in a virtual environment is a challenging task for the control engineer. A haptic display must render both low impedance free-space...
MA
2000
Springer
14 years 1 months ago
2000
Springer
NOMADS is a Java-based agent system that supports strong mobility (i.e., the ability to capture and transfer the full execution state of migrating agents) and safe agent execution ...
RTAS
2009
IEEE
14 years 4 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...