2776 search results - page 445 / 556 » System-Level Abstraction Semantics |
189
click to vote
SEMWEB
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Recently, the W3C Linking Open Data effort has boosted the publication and inter-linkage of large amounts of RDF datasets on the Semantic Web. Various ontologies and know...
144
click to vote
ISSTA
2009
ACM
16 years 22 days ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
204
click to vote
MM
2009
ACM
16 years 21 days ago
2009
ACM
In basketball games, wild-open means that there is an offensive player not well defended by his/her opponents. The occurrence of wild-open usually implies the existence of a succe...
159
click to vote
SIGCOMM
2009
ACM
16 years 21 days ago
2009
ACM
Service oriented access in a multi-application, multi-access network environment poses interesting research challenges. One of these challenges refers to cross-layer interoperabil...
159
click to vote
FOSSACS
2010
Springer
16 years 21 days ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...