Sciweavers

2583 search results - page 141 / 517
» Internet Messaging Frameworks
Sort
View
AH
2008
Springer
15 years 10 months ago
A Rule-Based Recommender System for Online Discussion Forums
Abstract. In this paper we present a rule-based personalization framework for encapsulating and combining personalization algorithms known from adaptive hypermedia and recommender ...
Fabian Abel, Ig Ibert Bittencourt, Nicola Henze, D...
HT
1999
ACM
15 years 8 months ago
Unifying Strategies for Web Augmentation
Since the beginning of the WWW, tools have been developed to augment the functionality of the Web. This paper provides an investigation of hypermedia tools and systems integrating...
Niels Olof Bouvin
139
Voted
ESWS
2007
Springer
15 years 8 months ago
Web Service Contracting: Specification and Reasoning with SCIFF
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
ICWS
2008
IEEE
15 years 5 months ago
A Distributed-SOA Model for Unified Communication Services
This paper describes an architectural framework adopting the principles of Service Oriented Architecture for deploying unified communications over the Internet. Also discuss the p...
Shrikant Kanaparti
CADE
2007
Springer
16 years 4 months ago
ALICE: An Advanced Logic for Interactive Component Engineering
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
Borislav Gajanovic, Bernhard Rumpe