506 search results - page 89 / 102 » Constructor-based observational logic |
100
Voted
FUIN
2006
15 years 15 days ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
127
click to vote
IJNSEC
2008
15 years 15 days 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 ...
117
Voted
AAI
2005
15 years 12 days ago
2005
This paper is about people. It is about understanding how learning and communication mutually influence one another; allowing people to infer each other's communicative behavi...
120
Voted
CLUSTER
2002
IEEE
15 years 9 days ago
2002
IEEE
Distributed systems based on cluster of workstation are more and more difficult to manage due to the increasing number of processors involved, and the complexity of associated appl...
83
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Post-silicon processor debugging is frequently carried out in a loop consisting of several iterations of the following two key steps: (i) processor execution for some duration, fo...