6355 search results - page 1040 / 1271 » From Logic to Games |
201
Voted
ER
2004
Springer
16 years 1 days ago
2004
Springer
The envisioned Semantic Web aims to provide richly annotated and explicitly structured Web pages in XML, RDF, or description logics, based upon underlying ontologies and thesauri. ...
180
click to vote
FMCAD
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
278
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
216
click to vote
EAGC
2003
Springer
15 years 12 months ago
2003
Springer
The complexity of Grid environments is growing as more projects and applications appear in this quick-evolving domain. Widespread applications are distributed over thousands of com...
230
click to vote
ICN
2009
Springer
15 years 11 months ago
2009
Springer
Securing group communications in resource constrained, infrastructure-less environments such as Mobile Ad Hoc Networks (MANETs) has become one of the most challenging research dire...