1297 search results - page 186 / 260 » Semantic Correctness in Adaptive Process Management Systems |
85
Voted
CRYPTO
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Non-committing encryption enables the construction of multiparty computation protocols secure against an adaptive adversary in the computational setting where private cha...
106
click to vote
RTSS
2007
IEEE
15 years 5 months ago
2007
IEEE
It is challenging to process transactions in a timely fashion using fresh data, e.g., current stock prices, since database workloads may considerably vary due to dynamic data/reso...
EMSOFT
2006
Springer
15 years 2 months ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
93
Voted
BIRTHDAY
2006
Springer
15 years 2 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
HASKELL
2006
ACM
15 years 5 months ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...