9989 search results - page 158 / 1998 » A CLP Approach to Modelling Systems |
151
Voted
MBUI
2004
15 years 6 months ago
2004
In this paper, we present our perspective on Model-Based User Interfaces (hereafter MBUI) paradigm and provide with our experience in this area combining high-level knowledge-base...
174
click to vote
DAIS
2008
15 years 6 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...
115
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe how ORM is extended, and combined with Concurrent Task Trees (CTT) to model the content as well as the functionality of a web system in the web design me...
166
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
131
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...