171 search results - page 21 / 35 » CoSP: a general framework for computational soundness proofs |
136
click to vote
KI
2010
Springer
14 years 6 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
100
click to vote
PODC
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...
120
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
Mobile platforms such as smart-phones and tablet computers have attained the technological capacity to perform tasks beyond their intended purposes. The steady increase of process...
MM
2004
ACM
15 years 5 months ago
2004
ACM
We propose a framework to achieve bandwidth efficient, error robust and bitrate scalable audio streaming. Our approach is compatible with most audio compression format. The main c...
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
As a general framework, UNITY does not offer any specific facility for the design of distributed systems. For such systems, distribution aspects must be represented at a low level,...