5423 search results - page 994 / 1085 » Denial-of-service in automation systems |
171
click to vote
CSL
2007
Springer
16 years 17 days ago
2007
Springer
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...
145
click to vote
ECSQARU
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
171
click to vote
ERCIMDL
2007
Springer
16 years 17 days ago
2007
Springer
Modern digital music libraries contain textual, visual, and audio data describing music on various semantic levels. Exploiting the availability of different semantically interrela...
189
click to vote
ICLP
2007
Springer
16 years 17 days ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
162
click to vote
ICSOC
2007
Springer
16 years 17 days ago
2007
Springer
The user-centric service creation paradigm set out in Web 2.0 technologies on the Internet allows users to define and share their new content and applications. Open services and in...