Sciweavers

1640 search results - page 159 / 328
» Design of Synchronous Action Systems
Sort
View
AMEC
2004
Springer
14 years 3 months ago
Specifying and Monitoring Market Mechanisms Using Rights and Obligations
Abstract. We provide a formal scripting language to capture the semantics of market mechanisms. The language is based on a set of welldefined principles, and is designed to captur...
Loizos Michael, David C. Parkes, Avi Pfeffer
ICRA
2002
IEEE
175views Robotics» more  ICRA 2002»
14 years 2 months ago
Flying Robots: Modeling, Control and Decision Making
This paper presents a flight rnanageiiient system (FhIS) iinpleniented as on-board intelligence for rotorcraft-based unmanned aerial vehicles (RUAVs), in order to gradually ilen a...
H. Jin Kim, David Hyunchul Shim, Shankar Sastry
DASC
2006
IEEE
14 years 1 months ago
Automated Caching of Behavioral Patterns for Efficient Run-Time Monitoring
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...
Natalia Stakhanova, Samik Basu, Robyn R. Lutz, Joh...
PRESENCE
1998
74views more  PRESENCE 1998»
13 years 9 months ago
The Reality of Experience: Gibson's Way
This paper considers some rst principles that might provide a basis for an objective science of experience (presence or immersion). Dimensions that are considered include classica...
John M. Flach, John G. Holden
ATAL
2006
Springer
14 years 1 months ago
Enhancing agent-oriented models with aspects
The modular representation of concerns is imperative in the design modeling of multi-agent systems (MASs). However, MAS designers typically face a number of concerns that inherent...
Alessandro F. Garcia, Christina Chavez, Ricardo Ch...