Sciweavers

1643 search results - page 262 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
ICRA
2008
IEEE
128views Robotics» more  ICRA 2008»
15 years 10 months ago
Vehicle localization in outdoor woodland environments with sensor fault detection
— This paper describes a 2D localization method for a differential drive mobile vehicle on real forested paths. The mobile vehicle is equipped with two rotary encoders, Crossbowâ...
Yoichi Morales Saiki, Eijiro Takeuchi, Takashi Tsu...
ASAP
2007
IEEE
107views Hardware» more  ASAP 2007»
15 years 10 months ago
A Hardware-Oriented Method for Evaluating Complex Polynomials
A hardware-oriented method for evaluating complex polynomials by solving iteratively a system of linear equations is proposed. Its implementation uses a digit-serial iterations on...
Milos D. Ercegovac, Jean-Michel Muller
MOBIQUITOUS
2007
IEEE
15 years 10 months ago
Self-Managed Cell: A Middleware for Managing Body-Sensor Networks
Abstract— Body sensor networks consisting of low-power onbody wireless sensors attached to mobile users will be used in the future to monitor the health and well being of patient...
Sye Loong Keoh, Naranker Dulay, Emil Lupu, Kevin P...
SRDS
2007
IEEE
15 years 10 months ago
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
The secure and robust functioning of a network relies on the defect-free implementation of network applications. As network protocols have become increasingly complex, however, ha...
Laurent Burgy, Laurent Réveillère, J...
ECOWS
2007
Springer
15 years 10 months ago
Specifying and Monitoring Composite Events for Semantic Web Services
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
Roman Vaculín, Katia P. Sycara