Sciweavers

849 search results - page 94 / 170
» Completely Non-malleable Schemes
Sort
View
IPTPS
2004
Springer
14 years 3 months ago
A Practical Distributed Mutual Exclusion Protocol in Dynamic Peer-to-Peer Systems
— Mutual exclusion is one of the well-studied fundamental primitives in distributed systems. However, the emerging P2P systems bring forward several challenges that can’t be co...
Shiding Lin, Qiao Lian, Ming Chen, Zheng Zhang
KES
2004
Springer
14 years 3 months ago
Partial Merging of Semi-structured Knowledgebases
Automatizing the merging of knowledgebases is an important step towards more efficient knowledge management. The cases when two knowledgebases need to be merged completely into a m...
Ladislau Bölöni, Damla Turgut
MOZ
2004
Springer
14 years 3 months ago
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
Abstract. The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this p...
Fred Spiessens, Peter Van Roy
PPDP
2004
Springer
14 years 3 months ago
A lazy narrowing calculus for declarative constraint programming
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
Francisco Javier López-Fraguas, Mario Rodr&...
CW
2003
IEEE
14 years 3 months ago
Webspace Surfing Patterns and Their Impact on Web Prefetching
The paper presents an interesting study that how the user surfing behavior with respect to the organization of a web space affects the performance of a prefetch enabled proxy. We ...
Javed I. Khan, Qingping Tao