Sciweavers

3038 search results - page 431 / 608
» Issues in Multiagent System Development
Sort
View
127
Voted
ISN
1998
Springer
140views Communications» more  ISN 1998»
15 years 6 months ago
Adaptable and Adaptive User Interfaces for Disabled Users in the AVANTI Project
This paper reports work carried out in the context of the ACTS AVANTI AC042 project, addressing the issue of providing accessibility and high quality interaction in Web-based multi...
Constantine Stephanidis, Alex Paramythis, Michael ...
APSEC
2004
IEEE
15 years 6 months ago
Extending a Graphic Modeling Language to Support Partial and Evolutionary Specification
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
Yong Xia, Martin Glinz
94
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
Research Perspectives for Logic and Deduction
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
Wolfgang Bibel
ECAI
2006
Springer
15 years 6 months ago
CTL Model Update: Semantics, Computations and Implementation
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
Yulin Ding, Yan Zhang
126
Voted
FPCA
1995
15 years 6 months ago
Abstract Models of Memory Management
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
J. Gregory Morrisett, Matthias Felleisen, Robert H...