Sciweavers

2106 search results - page 121 / 422
» Specifying C concepts
Sort
View
WWW
2001
ACM
14 years 10 months ago
Keys for XML
We discuss the de nition of keys for XML documents, paying particular attention to the concept of a relative key, which is commonly used in hierarchically structured documents and...
Peter Buneman, Susan B. Davidson, Wenfei Fan, Carm...
GCC
2004
Springer
14 years 3 months ago
Evaluation Issues in Autonomic Computing
Autonomic Computing is a concept that brings together many fields of computing with the purpose of creating computing systems that are reflective and self-adaptive. In this paper ...
Julie A. McCann, Markus C. Huebscher
ISLPED
2003
ACM
111views Hardware» more  ISLPED 2003»
14 years 3 months ago
A low-power VLSI architecture for turbo decoding
Presented in this paper is a low-power architecture for turbo decodings of parallel concatenated convolutional codes. The proposed architecture is derived via the concept of block...
Seok-Jun Lee, Naresh R. Shanbhag, Andrew C. Singer
CONCUR
2003
Springer
14 years 3 months ago
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
Paulo Mateus, John C. Mitchell, Andre Scedrov
PACT
2001
Springer
14 years 2 months ago
Optimizing Metacomputing with Communication-Computation Overlap
In the framework of distributed object systems, this paper presents the concepts and an implementation of an overlapping mechanism between communication and computation. This mecha...
Françoise Baude, Denis Caromel, Nathalie Fu...