Sciweavers

5818 search results - page 991 / 1164
» A reasonable Semantic Web
Sort
View
LOPSTR
2004
Springer
15 years 12 months ago
Proving Termination for Logic Programs by the Query-Mapping Pairs Approach
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Ser...
WWW
2010
ACM
15 years 12 months ago
Keyword search over key-value stores
Key-value stores (KVSs) are the most prevalent storage systems for large scale web services. As they do not have the structural complexities of RDBMSs, they are more efficient. In...
Arash Termehchy, Marianne Winslett
SEMWEB
2001
Springer
15 years 11 months ago
An RDF Framework for Resource Discovery
Resource discovery is a problem common to almost all distributed systems. Instead of resulting in a one or a small number of discovery mechanisms, completely different and incompa...
Franklin Reynolds
ECWEB
2000
Springer
272views ECommerce» more  ECWEB 2000»
15 years 11 months ago
E-commerce Site Evaluation: a Case Study
Recent surveys on e-commerce sites confirm the increased use of the Web for shopping. The reasons of these trends have been attributed to different factors such as convenience, sav...
Luis Olsina, Guillermo Lafuente, Gustavo Rossi
HOTOS
1997
IEEE
15 years 10 months ago
What Synchronous Groupware Needs: Notification Services
Synchronous groupware is the class of applications in which two or more people collaborate in what they perceive to be real time. Most previous efforts to deploy synchronous group...
Mark Day