7274 search results - page 37 / 1455 » Abstractions for network update |
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
The objective of private authentication for Radio Frequency Identification (RFID) systems is to allow valid readers to explicitly authenticate their dominated tags without leaking...
NAR
2011
12 years 10 months ago
2011
The Arabidopsis Gene Regulatory Information Server (AGRIS; http://arabidopsis.med.ohio-state .edu/) provides a comprehensive resource for gene regulatory studies in the model plan...
SIGCOMM
2006
ACM
14 years 1 months ago
2006
ACM
Fast and effective distribution of software updates (a.k.a. patches) to millions of Internet users has evolved into a critical task over the last years. In this paper, we characte...
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
We demonstrate XRPC, a minimal XQuery extension that enables distributed querying between heterogeneous XQuery engines. The XRPC language extension enhances the existing concept o...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...