Sciweavers

321 search results - page 26 / 65
» Task Networks for Controlling Continuous Processes
Sort
View
HVEI
2010
13 years 9 months ago
Isolating human brain functional connectivity associated with a specific cognitive process
The use of functional magnetic resonance imaging (fMRI) to measure functional connectivity among brain areas has the potential to identify neural networks associated with particul...
Michael A. Silver, Ayelet N. Landau, Thomas Z. Lau...
DMSN
2006
ACM
14 years 1 months ago
Transactional issues in sensor data management
This paper presents a novel research direction in the field of sensor data management. It concerns transactional support in heterogeneous large scale sensor systems. Besides well...
Levent Gürgen, Claudia Roncancio, Cyril Labb&...
HYBRID
2001
Springer
14 years 4 days ago
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...
ACSD
2003
IEEE
151views Hardware» more  ACSD 2003»
14 years 29 days ago
Communicating Transaction Processes
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
Abhik Roychoudhury, P. S. Thiagarajan
AOSE
2005
Springer
14 years 1 months ago
Using the Analytic Hierarchy Process for Evaluating Multi-Agent System Architecture Candidates
Abstract. Although much effort has been spent on suggesting and implementing new architectures of Multi-Agent Systems (MAS), the evaluation and comparison of these has often been d...
Paul Davidsson, Stefan J. Johansson, Mikael Svahnb...