Sciweavers

9105 search results - page 614 / 1821
» Design of the MUC-6 evaluation
Sort
View
SPIN
2007
Springer
16 years 1 months ago
Scalable Multi-core LTL Model-Checking
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
ASYNC
2006
IEEE
71views Hardware» more  ASYNC 2006»
16 years 1 months ago
Self-Healing Asynchronous Arrays
This paper presents a systematic method for designing of a self-healing asynchronous array in the presence of errors. By adding spare resources in one of three different ways and ...
Song Peng, Rajit Manohar
BSN
2006
IEEE
194views Sensor Networks» more  BSN 2006»
16 years 1 months ago
Activity Recognition and Monitoring Using Multiple Sensors on Different Body Positions
The design of an activity recognition and monitoring system based on the eWatch, multi-sensor platform worn on different body positions, is presented in this paper. The system ide...
Uwe Maurer, Asim Smailagic, Daniel P. Siewiorek, M...
COMPSAC
2006
IEEE
16 years 1 months ago
A Pattern-Based Technique for Developing UML Models of Access Control Systems
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
Dae-Kyoo Kim, Priya Gokhale
IAT
2006
IEEE
16 years 1 months ago
An Adaptive Multi-agent Organization Model Based on Dynamic Role Allocation
Organizations involving multiple agents require adaptation mechanisms to guarantee robustness, especially in critical domains. This paper presents an organizational template to ai...
Mark Hoogendoorn, Jan Treur