Sciweavers

3891 search results - page 71 / 779
» Query Models
Sort
View
SIGMOD
2008
ACM
119views Database» more  SIGMOD 2008»
14 years 11 months ago
Modeling and querying probabilistic XML data
Benny Kimelfeld, Yehoshua Sagiv
CONCUR
2009
Springer
14 years 5 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
SSDBM
2005
IEEE
79views Database» more  SSDBM 2005»
14 years 4 months ago
Probabilistic Data Modeling and Querying for Location-Based Data Warehouses
Igor Timko, Curtis E. Dyreson, Torben Bach Pederse...