5451 search results - page 361 / 1091 » Typed Operational Semantics |
153
Voted
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
138
Voted
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
This paper concerns versioning services over Semantic Web (SW) repositories. We propose a novel storage index (based on partial orders), called POI, that exploits the fact that RDF...
133
click to vote
IJCAI
2003
15 years 6 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...
160
Voted
SIS
2004
15 years 6 months ago
2004
The shift from paper documents to their respective electronic formats is producing important advantages in the functioning of businesses and Public Administrations. However, this s...
128
Voted
IJSN
2008
15 years 5 months ago
2008
: Malicious network traffic, including widespread worm activity, is a growing threat to Internet-connected networks and hosts. In this paper, we consider two competing approaches t...