587 search results - page 39 / 118 » A Formal Framework for Developing Adaptable Service-Based Ap... |
ICWE
2007
Springer
14 years 2 months ago
2007
Springer
We discuss the need to extend general models and systems for context-awareness to include adaptation of interactions to context. Our approach was motivated by our experiences of de...
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
CSMR
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— Adapting software components usable by a particular application is a crucial issue in software component based technology. In fact, software components can be used in c...
LWA
2004
13 years 10 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
PAKM
2004
13 years 10 months ago
2004
This paper presents an approach to locating an expert through the use of existing organizational information. This approach was realised through an Expert Finder framework develope...