Sciweavers

2116 search results - page 237 / 424
» Resource Analysis by Sup-interpretation
Sort
View
DSN
2003
IEEE
15 years 9 months ago
A User-Perceived Availability Evaluation of a Web Based Travel Agency
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
Mohamed Kaâniche, Karama Kanoun, Magnos Mart...
ICDCS
2003
IEEE
15 years 9 months ago
SPEED: A Stateless Protocol for Real-Time Communication in Sensor Networks
In this paper, we present a real-time communication protocol for sensor networks, called SPEED. The protocol provides three types of real-time communication services, namely, real...
Tian He, John A. Stankovic, Chenyang Lu, Tarek F. ...
ICPPW
2003
IEEE
15 years 9 months ago
Grid Computing Pool and Its Framework
The aim of Grid Computing Pool (GCP) is to integrate heterogeneous large-scale computing devices and famous computing tools into a virtual supercomputer by using grid technology. ...
Yongwei Wu, Guangwen Yang, Jiayin Mao, Shuming Shi...
ICRA
2003
IEEE
128views Robotics» more  ICRA 2003»
15 years 9 months ago
Avoiding unsafe states in manufacturing systems based on polynomial digraph algorithms
Abstract − A deadlock-free unsafe (DFU) state of Resource Allocation System (RAS) is deadlock-free but inevitable to enter a deadlock state. Previous research revealed that in ma...
Yin Wang, Zhiming Wu
METRICS
2003
IEEE
15 years 9 months ago
When Can We Test Less?
When it is impractical to rigorously assess all parts of complex systems, test engineers use defect detectors to focus their limited resources. In this article, we define some pr...
Tim Menzies, Justin S. Di Stefano, Kareem Ammar, K...