Sciweavers

3104 search results - page 421 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
INTERACT
2003
15 years 6 months ago
The Process of Developing a Mobile Device for Communication in a Safety-Critical Domain
: This paper describes the process of developing an interactive mobile system for use in a safety-critical domain. The system was developed to inquire into the extent of which coor...
Jesper Kjeldskov, Jan Stage
RTCSA
2006
IEEE
15 years 11 months ago
Predictable Interrupt Scheduling with Low Overhead for Real-Time Kernels
In this paper we analyze the traditional model of interrupt management and its inability to incorporate the reliability and temporal predictability demanded by real-time systems. ...
Luis E. Leyva-del-Foyo, Pedro Mejía-Alvarez...
161
Voted
SKG
2006
IEEE
15 years 11 months ago
Semantic Pattern for User-Interactive Question Answering
A new semantic pattern is proposed in this paper, which can be used by users to post questions and answers in user-interactive question answering (QA) system. The necessary proced...
Tianyong Hao, Qingtian Zeng, Liu Wenyin
CSFW
2007
IEEE
15 years 11 months ago
Creating Vulnerability Signatures Using Weakest Preconditions
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...
David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong...
VRST
2003
ACM
15 years 10 months ago
Time-critical collision detection using an average-case approach
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
Jan Klein, Gabriel Zachmann