4690 search results - page 384 / 938 » An operational semantics for Scheme |
192
click to vote
LICS
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
178
click to vote
NDSS
2003
IEEE
16 years 4 days ago
2003
IEEE
Denial of Service (DoS) attacks are a serious threat for the Internet. DoS attacks can consume memory, CPU, and network resources and damage or shut down the operation of the reso...
171
click to vote
WORDS
2003
IEEE
16 years 4 days ago
2003
IEEE
Due to the lack of QoS support, ensuring an acceptable application level QoS for the real-time delivery of multiobject multimedia presentations on the current Internet is very cha...
189
click to vote
PRDC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper analyzes the data integrity of one of the most widely used lossless data compression techniques, Lempel-Ziv (LZ) compression. In this algorithm, because the data recons...
169
click to vote
VLDB
1997
ACM
15 years 11 months ago
1997
ACM
We present a design for multi-version concurrency control and recovery in a main memory database, and describe logical and physical versioning schemes that allow read-only transac...