3028 search results - page 198 / 606 » Integrating Temporal Logics |
176
click to vote
FPGA
2001
ACM
15 years 11 months ago
2001
ACM
As the complexity of integrated circuits increases, the ability to make post-fabrication changes to fixed ASIC chips will become more and more attractive. This ability can be real...
190
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...
201
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logic...
190
click to vote
FPL
2000
Springer
15 years 10 months ago
2000
Springer
Following the simple Programmable Logic Device (SPLD) and Field Programmable Gate Array (FPGA) generations a third generation of programmable logic technologies is now reaching the...
209
click to vote
QEST
2005
IEEE
16 years 24 days ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...