225 search results - page 29 / 45 » Design for Constraint Violation Detection in Safety-Critical... |
141
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
209
click to vote
RTAS
1998
IEEE
15 years 10 months ago
1998
IEEE
Proliferation of communication-intensive real-time applications with elastic" timeliness constraints, such as streaming stored video, requires a new design for endhost commun...
154
click to vote
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
Our previous work on road detection suggests the usage of prior knowledge in order to improve performance. In this paper we will explain our motivation for a novel approach, defin...
175
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
This paper introduces an information retrieval based approach for automating the detection and classification of non-functional requirements (NFRs). Early detection of NFRs is use...
150
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper discusses the Address Resolution Protocol (ARP) and the problem of ARP cache poisoning. ARP cache poisoning is the malicious act, by a host in a LAN, of introducing a s...