2468 search results - page 141 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
118
Voted
KES
2005
Springer
15 years 9 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 ...
112
Voted
TACAS
2005
Springer
15 years 9 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, ...
123
Voted
ESWA
2008
15 years 3 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...
136
Voted
CASES
2006
ACM
15 years 9 months 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...
145
Voted
EMSOFT
2005
Springer
15 years 9 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...