Sciweavers

10916 search results - page 308 / 2184
» On Constructive Connectives and Systems
Sort
View
ENTCS
2008
124views more  ENTCS 2008»
15 years 6 months ago
Modular Functional Descriptions
The construction of reactive systems often requires the combination of different individual functionalities, thus leading to a complex overall behavior. To achieve an efficient co...
Bernhard Schätz
ANSS
2002
IEEE
15 years 11 months ago
Behavioral Model Composition in Simulation-Based Design
We present a simulation and design framework for simultaneously designing and modeling electromechanical systems. By instantiating component objects and connecting them to each ot...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
USENIX
1996
15 years 8 months ago
Supporting Mobility in MosquitoNet
The goal of the MosquitoNet project is to provide continuous Internet connectivity to mobile hosts. Mobile hosts must be able to take advantage of the best network connectivity av...
Mary Baker, Xinhua Zhao, Stuart Cheshire, Jonathan...
139
Voted
PERCOM
2004
ACM
16 years 6 months ago
Cooperative Location-Sensing for Wireless Networks
We present the Cooperative Location-sensing system (CLS), an adaptive location-sensing system that enables devices to estimate their position in a self-organizing manner without t...
Charalampos Fretzagias, Maria Papadopouli
ECAL
2007
Springer
16 years 29 days ago
A Mechanism to Self-Assemble Patterns with Autonomous Robots
There are examples of robotic systems in which autonomous mobile robots self-assemble into larger connected entities. However, existing systems display little or no autonomous cont...
Anders Lyhne Christensen, Rehan O'Grady, Marco Dor...