Sciweavers

362 search results - page 68 / 73
» Multi-Agent Autonomic Architectures for Quality Control Syst...
Sort
View
UML
2005
Springer
14 years 1 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
IBMRD
2011
112views more  IBMRD 2011»
13 years 2 months ago
Sensor Andrew: Large-scale campus-wide sensing and actuation
—We present Sensor Andrew, a multi-disciplinary campus-wide scalable sensor network that is designed to host a wide range of sensor, actuator and low-power applications. The goal...
Anthony Rowe, Mario Berges, Gaurav Bhatia, Ethan G...
JSAC
2010
172views more  JSAC 2010»
13 years 6 months ago
Cross-layer QoS-aware communication for ultra wide band wireless multimedia sensor networks
—Wireless Multimedia Sensor Networks (WMSNs) are distributed systems of wirelessly networked devices that allow retrieving video and audio streams, still images, and scalar senso...
Tommaso Melodia, Ian F. Akyildiz
HICSS
2002
IEEE
108views Biometrics» more  HICSS 2002»
14 years 27 days ago
Network Management in ATM LEO Satellite Networks
Development of the past decade have confirmed that ATM technology has the potential of becoming the transport mechanism in many multimedia networks where high-speed traffic and Qu...
Petia Todorova
SIGSOFT
2010
ACM
13 years 5 months ago
Speculative analysis: exploring future development states of software
Most software tools and environments help developers analyze the present and past development states of their software systems. Few approaches have investigated the potential cons...
Yuriy Brun, Reid Holmes, Michael D. Ernst, David N...