2291 search results - page 365 / 459 » Logic Programming and Model Checking |
FORMATS
2003
Springer
14 years 29 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
DSN
2000
IEEE
14 years 5 days ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
CONCUR
2000
Springer
14 years 2 days ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
IJNSEC
2008
13 years 7 months ago
2008
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
ASPLOS
2012
ACM
12 years 3 months ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...