1980 search results - page 247 / 396 » Compositional Model Checking of Real Time Systems |
114
Voted
SP
1990
IEEE
15 years 7 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
135
click to vote
TVLSI
1998
15 years 3 months ago
1998
Abstract—We introduce a technique for on-line built-in selftesting (BIST) of bus-based field programmable gate arrays (FPGA’s). This system detects deviations from the intende...
142
click to vote
FCT
1997
Springer
15 years 7 months ago
1997
Springer
A connection management protocol establishes a connection between two hosts across a wide-area network to allow reliable message delivery. Following previous work of Kleinberg et a...
152
click to vote
TACAS
2001
Springer
15 years 7 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
133
click to vote
LATIN
2000
Springer
15 years 7 months ago
2000
Springer
The Flexible Job Shop problem is a generalization of the classical job shop scheduling problem in which for every operation there is a group of machines that can process it. The p...