Sciweavers

2036 search results - page 149 / 408
» A generic type-and-effect system
Sort
View
143
Voted
MOBISYS
2003
ACM
16 years 12 days ago
System Services for Ad-Hoc Routing: Architecture, Implementation and Experiences
This work explores several system issues regarding the design and implementation of routing protocols for ad-hoc wireless networks. We examine the routing architecture in current ...
Vikas Kawadia, Yongguang Zhang, Binita Gupta
ATAL
2009
Springer
15 years 7 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
145
Voted
ICAC
2008
IEEE
15 years 7 months ago
Towards a Self-Configurable Weather Research and Forecasting System
Current weather forecast and visualization systems lack the scalability to support numerous customized requests for weather research and forecasting, especially at the time of nat...
Khalid Saleem, Seyed Masoud Sadjadi, Shu-Ching Che...
80
Voted
IROS
2008
IEEE
172views Robotics» more  IROS 2008»
15 years 7 months ago
Hand-eye self-calibration of an ultrasound image-based robotic system
— In recent years, there has been an increasing interest in developing systems that couple a robotic device with an ultrasound imager. Applications range from automatic probe pos...
Marie-Aude Vitrani, Guillaume Morel
110
Voted
ICRA
2007
IEEE
163views Robotics» more  ICRA 2007»
15 years 7 months ago
Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
Oscar Ljungkrantz, Knut Akesson, Johan Richardsson...