90 search results - page 16 / 18 » New Model and Scheduling Protocol for Transactional Workflow... |
115
click to vote
JODI
2010
14 years 6 months ago
2010
: ICE-TheOREM was a project which made several important contributions to the repository domain, promoting deposit by integrating the repository with authoring workflows and enhanc...
OPODIS
2004
15 years 29 days ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
DRM
2003
Springer
15 years 4 months ago
2003
Springer
In PODC 2003, Park, Chong, Siegel and Ray [22] proposed an optimistic protocol for fair exchange, based on RSA signatures. We show that their protocol is totally breakable already...
147
click to vote
CORR
2012
Springer
13 years 7 months ago
2012
Springer
Universities and Institutions these days’ deals with issues related to with assessment of large number of students. Various evaluation methods have been adopted by examiners in ...
112
click to vote
IANDC
2007
14 years 11 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...