Sciweavers

1791 search results - page 163 / 359
» Semantics and Complexity of SPARQL
Sort
View
156
Voted
DAIS
2009
15 years 2 months ago
Automated Assessment of Aggregate Query Imprecision in Dynamic Environments
Queries are widely used for acquiring data distributed in opportunistically formed mobile networks. However, when queries are executed in such dynamic settings, the returned result...
Vasanth Rajamani, Christine Julien, Jamie Payton
PPOPP
2012
ACM
14 years 17 days ago
Synchronization views for event-loop actors
The actor model has already proven itself as an interesting concurrency model that avoids issues such as deadlocks and race conditions by construction, and thus facilitates concur...
Joeri De Koster, Stefan Marr, Theo D'Hondt
ISCA
2012
IEEE
232views Hardware» more  ISCA 2012»
13 years 7 months ago
RADISH: Always-on sound and complete race detection in software and hardware
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
Joseph Devietti, Benjamin P. Wood, Karin Strauss, ...
WWW
2002
ACM
16 years 5 months ago
Simulation, verification and automated composition of web services
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
Srini Narayanan, Sheila A. McIlraith
AAAI
2000
15 years 6 months ago
DATALOG with Constraints - An Answer-Set Programming System
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
Deborah East, Miroslaw Truszczynski