2468 search results - page 141 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
149
click to vote
KES
2005
Springer
15 years 12 months ago
2005
Springer
In most P2P business models, in which users purchase the media, it is necessary to securely identify the user in order to facilitate payment. In this paper, we present a technique ...
147
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
156
click to vote
ESWA
2008
15 years 6 months ago
2008
A persistent problem in the use of automated workflow management systems for inter-organizational workflows has been the need for manual redefinition of coordination points in the...
177
click to vote
CASES
2006
ACM
16 years 9 days ago
2006
ACM
Dynamic voltage scaling and sleep state control have been shown to be extremely effective in reducing energy consumption in CMOS circuits. Though plenty of research papers have st...
180
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...