4209 search results - page 152 / 842 » Abstract Dialectical Frameworks |
158
click to vote
ATMOS
2007
15 years 8 months ago
2007
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...
168
click to vote
IESA
2007
15 years 8 months ago
2007
Conventional approaches to manage and control security seem to have reached their limits in new complex environments. These environments are open, dynamic, heterogeneous, distribut...
205
click to vote
DAIS
2008
15 years 7 months ago
2008
Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resource-constrained devices, o...
206
click to vote
FORTE
2008
15 years 7 months ago
2008
Abstract. Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For th...
137
click to vote
CIIT
2004
15 years 7 months ago
2004
This paper outlines the design and evaluation of the Digital Classroom Application Framework (DeCAF). DeCAF is designed to provide an environment upon which multimedia application...