9425 search results - page 1762 / 1885 » Some Notes on Models and Modelling |
138
click to vote
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
148
Voted
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
The proliferation of electronic content has notably lead to the apparition of large corpora of interrelated structured documents (such as HTML and XML Web pages) and semantic annot...
PERCOM
2007
ACM
16 years 1 months ago
2007
ACM
This research is motivated by emerging, real-world wireless sensor network applications for monitoring and control. We examine the benefits and costs of caching data for such appli...
127
Voted
MOBIHOC
2002
ACM
16 years 1 months ago
2002
ACM
We examine two aspects concerning the influence of unidirectional links on routing performance in multihop wireless networks. In the first part of the paper, we evaluate the benef...
110
Voted
ICS
2010
Tsinghua U.
15 years 11 months ago
2010
Tsinghua U.
We introduce the notion of "non-malleable codes" which relaxes the notion of error-correction and errordetection. Informally, a code is non-malleable if the message cont...