1411 search results - page 95 / 283 » Interactive Coding for Interactive Proofs |
90
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Prometheus is an agent-oriented software engineering methodology. The Prometheus Design Tool (PDT) is a software tool that supports a designer who is using the Prometheus methodol...
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
— A progressive and scalable, region of interest (ROI) image coding scheme based on matching pursuits (MP) is presented. Matching pursuit is a multi-resolutional signal analysis ...
135
Voted
ACSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
90
Voted
CSFW
2000
IEEE
15 years 5 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
101
Voted
NOSSDAV
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. We introduce the concept of Dynamic Rate Shaping, a technique to adapt the rate ofcompressed video bitstreams MPEG-1, MPEG2, H.261, as well as JPEG to dynamically varyi...