Sciweavers

19003 search results - page 30 / 3801
» We Need Assurance!
Sort
View
AINA
2003
IEEE
13 years 11 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
IADIS
2003
13 years 9 months ago
Towards Assuring the Quality Attributes of Web Applications: An Approach for Separating Features
This paper presents an approach for separating features out of the implementation artifacts of client-computation in Web applications. A primary benefit to be gained from separati...
Mohamed Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
GIS
2010
ACM
13 years 6 months ago
INTACT: a spatial query integrity assurance framework for location-based services
It is cost-effective for data owners to publicize their spatial databases via database outsourcing; however, data privacy and query integrity are major challenges. In this demonst...
Chih-Jye Wang, Wei-Shinn Ku, Ling Hu, Cyrus Shahab...
ISORC
2005
IEEE
14 years 1 months ago
Stochastic, Utility Accrual Real-Time Scheduling with Task-Level and System-Level Timeliness Assurances
Heuristic algorithms have enjoyed increasing interests and success in the context of Utility Accrual (UA) scheduling. However, few analytical results, such as bounds on task-level...
Peng Li, Hyeonjoong Cho, Binoy Ravindran, E. Dougl...
ICSOC
2004
Springer
14 years 1 months ago
Assured service quality by improved fault management
The paradigm shift from device-oriented to service-oriented management has also implications to the area of event correlation. Today’s event correlation mainly addresses the cor...
Andreas Hanemann, Martin Sailer, David Schmitz