Sciweavers

3581 search results - page 492 / 717
» The Inframetric Model for the Internet
Sort
View
IEEEARES
2009
IEEE
16 years 1 months ago
Web Service Trust: Towards a Dynamic Assessment Framework
— Trust in software services is a key prerequisite for the success and wide adoption of Services-Oriented Computing (SOC) in an open Internet world. However, trust is poorly asse...
George Spanoudakis, Stephane LoPresti
RR
2009
Springer
16 years 1 months ago
A Logic Based Approach to the Static Analysis of Production Systems
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
Jos de Bruijn, Martín Rezk
RR
2009
Springer
16 years 1 months ago
A Reasoner for Simple Conceptual Logic Programs
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
Stijn Heymans, Cristina Feier, Thomas Eiter
DOLAP
2009
ACM
16 years 1 months ago
LMDQL: link-based and multidimensional query language
The current commercial and academic OLAP tools do not process XML data that make use of XLink. To develop OLAP systems for helping in the analysis of such data, this paper propose...
Paulo Caetano da Silva, Fábio Santos Souza,...
ASIAMS
2008
IEEE
16 years 1 months ago
Intelligent Web Caching Using Neurocomputing and Particle Swarm Optimization Algorithm
Web caching is a technology for improving network traffic on the internet. It is a temporary storage of Web objects (such as HTML documents) for later retrieval. There are three s...
Sarina Sulaiman, Siti Mariyam Hj. Shamsuddin, Fadn...