6978 search results - page 251 / 1396 » On Proofs in System P |
179
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
176
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Recently, mashups have emerged as an important class of Web 2.0 collaborative applications. Mashups can be conceived as personalized Web services which aggregate and manipulate dat...
133
click to vote
ISM
2008
IEEE
16 years 1 months ago
2008
IEEE
Recently, there has been a growing interest in academic and commercial environments for Video-on-Demand (VoD) using Peer-to-Peer (P2P) technology. Unlike centralized solutions for...
183
click to vote
P2P
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a content delivery infrastructure distributing and maintaining software packages in a large organization. Our work based on a trace-based analysis of an existing softwa...
137
click to vote
ICPP
2007
IEEE
16 years 29 days ago
2007
IEEE
A flooding-based search mechanism is often used in unstructured P2P systems. Although a flooding-based search mechanism is simple and easy to implement, it is vulnerable to overla...