1209 search results - page 211 / 242 » Universal Algebra and Computer Science |
SIGMOD
2004
ACM
14 years 8 months ago
2004
ACM
Real-time surveillance systems, network and telecommunication systems, and other dynamic processes often generate tremendous (potentially infinite) volume of stream data. Effectiv...
ICCAD
2004
IEEE
14 years 5 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
ACSAC
2007
IEEE
14 years 3 months ago
2007
IEEE
The increasing centralization of networked services places user data at considerable risk. For example, many users store email on remote servers rather than on their local disk. D...
COMPGEOM
2006
ACM
14 years 2 months ago
2006
ACM
We present an optimal-time algorithm for computing (an implicit representation of) the shortest-path map from a fixed source s on the surface of a convex polytope P in three dime...
SIGCOMM
2003
ACM
14 years 1 months ago
2003
ACM
One of the key infrastructure components in all telecommunication networks, ranging from the telephone network, to VC-oriented data networks, to the Internet, is its signaling sys...