Sciweavers

691 search results - page 100 / 139
» Modeling the Case Study with LDL and Implementing it with LD...
Sort
View
VLDB
2002
ACM
131views Database» more  VLDB 2002»
13 years 7 months ago
ProTDB: Probabilistic Data in XML
Whereas traditional databases manage only deterministic information, many applications that use databases involve uncertain data. This paper presents a Probabilistic Tree Data Bas...
Andrew Nierman, H. V. Jagadish
POPL
2007
ACM
14 years 8 months ago
Types, bytes, and separation logic
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
Harvey Tuch, Gerwin Klein, Michael Norrish
DSRT
2003
IEEE
14 years 1 months ago
Peer-to-Peer Suitability for Collaborative Multiplayer Games
Peer-to-peer communication is emerging as one of the most potentially disruptive technologies in the networking sector. If the interest in such technologies as Napster, Morpheus a...
Abdulmotaleb El-Saddik, Andre Dufour
AAAI
1998
13 years 9 months ago
Metacognition in Software Agents Using Classifier Systems
Software agents "living" and acting in a real world software environment, such as an operating system, a network, or a database system, can carry out many tasks for huma...
Zhaohua Zhang, Stan Franklin, Dipankar Dasgupta
CCGRID
2006
IEEE
14 years 2 months ago
ResGrid: A Grid-aware Toolkit for Reservoir Uncertainty Analysis
Many efforts in Grid communities have focused on middleware research and development. However, Grid application-level tools are needed which can build higherlevel functionality on...
Zhou Lei, Dayong Huang, Archit Kulshrestha, Santia...