2694 search results - page 277 / 539 » A Description Logic of Change |
151
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
171
click to vote
DICS
2006
15 years 8 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
181
click to vote
BIS
2007
15 years 8 months ago
2007
Choreography description languages have been put forward for capturing sets of interactions and their control and data dependencies, seen from a global perspective. Choreographies ...
221
click to vote
MMGPS
2003
15 years 8 months ago
2003
This paper presents some of the personalisation services designed for self e-learning networks in the SeLeNe project. A self e-learning network consists of web-based learning obje...
160
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
This paper proposes a design for the optimized dynamic (re)composition of services that supports various user requests and accounts for changes in user`s context. The composition ...