3922 search results - page 721 / 785 » Working Models for Uncertain Data |
PPDP
2007
Springer
15 years 4 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
117
click to vote
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
—Many applications require fast data transfer over high speed and long distance networks. However, standard TCP fails to fully utilize the network capacity due to the limitation ...
WS
2006
ACM
15 years 3 months ago
2006
ACM
The interoperability of IM (Instant Messaging) and SMS (Short Messaging Service) networks allows users to seamlessly use a variety of computing devices from desktops to cellular p...
C5
2005
IEEE
15 years 3 months ago
2005
IEEE
Croquet [11,12] is a collaborative 3D platform that allows users to work together to create and share ideas. From the beginning we have worked to ensure that the Croquet interface...
CCS
2005
ACM
15 years 3 months ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...