1988 search results - page 213 / 398 » Engineering formal metatheory |
187
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
150
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
The ability to quickly explore and compare multiple scenarios is an important component of exploratory data analysis. Yet today’s interfaces cannot represent alternative explora...
190
click to vote
AADEBUG
2000
Springer
15 years 11 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
165
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
188
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...