Sciweavers

4270 search results - page 389 / 854
» A Permutation Approach to Validation
Sort
View
ECRTS
2003
IEEE
16 years 2 days ago
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
Iain Bate, Peter Nightingale, Anton Cervin
ICDAR
2003
IEEE
16 years 2 days ago
Word Searching in CCITT Group 4 Compressed Document Images
In this paper, we present a compressed pattern matching method for searching user queried words in the CCITT Group 4 compressed document images, without decompressing. The feature...
Yue Lu, Chew Lim Tan
ICDCSW
2003
IEEE
16 years 2 days ago
Using Service Brokers for Accessing Backend Servers for Web Applications
— Current Web servers use various API sets to access backend services. This model does not support service differentiation, overload control, caching of contents generated by bac...
Huamin Chen, Prasant Mohapatra
ICRA
2003
IEEE
171views Robotics» more  ICRA 2003»
16 years 1 days ago
Motion planning for multiple mobile robots using dynamic networks
- A new motion planning framework is presented that enables multiple mobile robots with limited ranges of sensing and communication to maneuver and achieve goals safely in dynamic ...
Christopher M. Clark, Stephen M. Rock, Jean-Claude...
VL
2003
IEEE
121views Visual Languages» more  VL 2003»
16 years 1 days ago
Visual methods for web application design
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
Robert Chatley, Jeff Kramer, Jeff Magee, Sebasti&a...