Sciweavers

1762 search results - page 101 / 353
» Brahms: simulating practice for work systems design
Sort
View
FM
2003
Springer
136views Formal Methods» more  FM 2003»
15 years 3 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...
ACMSE
2006
ACM
15 years 3 months ago
Assessing denial of service vulnerabilities in DOCSIS
In previous work a DOCSIS model was added to ‘ns’ to allow simulations to be run to analyze the performance of DOCSIS. These simulations showed that congestion caused by the a...
Scott Moser, Jim Martin
IBPRIA
2007
Springer
15 years 4 months ago
Stochastic Local Search for Omnidirectional Catadioptric Stereovision Design
Abstract. This paper deals with a compact catadioptric omnidirectional stereovision system based on a single camera and multi-mirrors (at least two mirrors). Many configurations w...
Gilles Dequen, Laure Devendeville, E. Mouaddib
AIIDE
2007
15 years 7 days ago
Player Autonomy versus Designer Intent: A Case Study of Interactive Tour Guides
We explore the tradeoff between player autonomy and designer intent by simulating a system of autonomous museum tour guides. Visitors may have different art preferences or may wis...
David L. Roberts, Andrew S. Cantino, Charles Lee I...
MOBICOM
2006
ACM
15 years 3 months ago
Fast and reliable estimation schemes in RFID systems
RFID tags are being used in many diverse applications in increasingly large numbers. These capabilities of these tags span from very dumb passive tags to smart active tags, with t...
Murali S. Kodialam, Thyaga Nandagopal