Sciweavers

505 search results - page 88 / 101
» Modeling dynamic environments in multi-agent simulation
Sort
View
GLVLSI
2009
IEEE
323views VLSI» more  GLVLSI 2009»
14 years 7 months ago
MYGEN: automata-based on-line test generator for assertion-based verification
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
Yann Oddos, Katell Morin-Allory, Dominique Borrion...
GLOBECOM
2008
IEEE
15 years 4 months ago
Network Formation Games for Distributed Uplink Tree Construction in IEEE 802.16J Networks
— This paper investigates the problem of the formation of an uplink tree structure among the IEEE 802.16j network’s relay stations (RSs) and their serving base station (MR-BS)....
Walid Saad, Zhu Han, Mérouane Debbah, Are H...
VAST
2004
ACM
15 years 3 months ago
The Ancient Olympic Games: Being Part of the Experience
This paper presents the virtual reality applications that the Foundation of the Hellenic World has produced associated with the Olympic Games in ancient Greece. The separate virtu...
Athanasios Gaitatzes, Dimitrios Christopoulos, Geo...
ICSOC
2004
Springer
15 years 3 months ago
Toward autonomic web services trust and selection
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...
E. Michael Maximilien, Munindar P. Singh
ICRA
1994
IEEE
139views Robotics» more  ICRA 1994»
15 years 1 months ago
Balancing of a Planar Bouncing Object
While most previous work in planning manipulation tasks relies on the assumption of quasi-static conditions, there can be situations where the quasi-static assumption may not hold...
Nina B. Zumel, Michael Erdmann