411 search results - page 69 / 83 » Efficient View Maintenance Using Version Numbers |
ITCC
2003
IEEE
14 years 4 months ago
2003
IEEE
Internet growth and activity has been increasing almost exponentially over the last decade. Today, millions of people all over the world use the Internet for a variety of activiti...
PKC
2011
Springer
13 years 1 months ago
2011
Springer
ded abstract of this work appears in Public Key Cryptography — PKC 2011, ed. R. Gennaro, Springer LNCS 6571 (2011), 1–16. This is the full version. We propose a linearly homom...
CAV
1999
Springer
14 years 3 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
SENSYS
2003
ACM
14 years 4 months ago
2003
ACM
Sensor networks not only have the potential to change the way we use, interact with, and view computers, but also the way we use, interact with, and view the world around us. In o...
INFOCOM
2009
IEEE
14 years 5 months ago
2009
IEEE
: Given a logical topology and a physical topology , the survivable logical topology design problem in an IP-overWDM optical network is to map the logical links into lightpaths in ...