Sciweavers

1270 search results - page 143 / 254
» IF Validation Environment Tutorial
Sort
View
ICONS
2009
IEEE
14 years 5 months ago
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
Zhe Chen, Gilles Motet
ICRA
2009
IEEE
185views Robotics» more  ICRA 2009»
14 years 5 months ago
Ad-hoc wireless network coverage with networked robots that cannot localize
— We study a fully distributed, reactive algorithm for deployment and maintenance of a mobile communication backbone that provides an area around a network gateway with wireless ...
Nikolaus Correll, Jonathan Bachrach, Daniel Vicker...
GROUP
2009
ACM
14 years 5 months ago
Emergent team coordination: from fire emergency response practice to a non-mimetic simulation game
We take the work practices of fire emergency responders as the basis for developing simulations to teach team coordination. We introduce non-mimetic simulation: economic operation...
Zachary O. Toups, Andruid Kerne, William A. Hamilt...
ICRA
2008
IEEE
107views Robotics» more  ICRA 2008»
14 years 5 months ago
Storing and recalling information for vision localization
— In implementing a vision localization system, a crucial issue to consider is how to efficiently store and recall the necessary information so that the robot is not only able t...
Christian Siagian, Laurent Itti
TRIDENTCOM
2008
IEEE
14 years 5 months ago
A 3GPP system architecture evolution virtualized experimentation infrastructure for mobility prototyping
The 3GPP System Architecture Evolution (SAE) is a very attractive environment from the service provisioning perspective, thanks to the variety of access technologies and mobility ...
Miguel Gómez Rodríguez, Fermí...