3778 search results - page 523 / 756 » Representing Web Graphs |
151
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
125
click to vote
APSEC
2001
IEEE
15 years 8 months ago
2001
IEEE
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
119
click to vote
FQAS
2000
Springer
15 years 8 months ago
2000
Springer
Knowledge scouts are software agents that autonomously synthesize knowledge of interest to a given user (target knowledge) by applying inductive database operators to a local or di...
135
Voted
EURODAC
1995
IEEE
15 years 8 months ago
1995
IEEE
This paper presents a formal approach to test combinational circuits. For the sake of explanation we describe the basic algorithms with the help of the stuck–at fault model. Ple...
157
click to vote
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...