7557 search results - page 16 / 1512 » Modeling Timed Concurrent Systems |
102
click to vote
STOC
2005
ACM
16 years 1 months ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
ICCD
1995
IEEE
15 years 4 months ago
1995
IEEE
Many design techniques have been proposed to optimize the performance of a digital system implemented in a given technology. Each of these techniques can be advantageous in partic...
148
click to vote
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
WSCG
2001
15 years 2 months ago
2001
In this paper we will be describing a new animation architecture and its implementation in our system LIVE. This model introduces a new blending layer approach which uses several ...
110
click to vote
ADBIS
1997
Springer
15 years 5 months ago
1997
Springer
In this paper we consider real-time concurrency control for the nested transaction model. We analyze problems that have pure optimistic and pessimistic approaches. As the solution...