Sciweavers

9989 search results - page 288 / 1998
» A CLP Approach to Modelling Systems
Sort
View
IEAAIE
1995
Springer
15 years 10 months ago
Modelling Hybrid Rule/Frame-Based Expert Systems Using Coloured Petri Nets
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung
SIGDOC
2009
ACM
16 years 1 months ago
Modeling task experience in user assistance systems
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...
Andrea Kohlhase, Michael Kohlhase
ICECCS
2009
IEEE
119views Hardware» more  ICECCS 2009»
16 years 1 months ago
REMES: A Resource Model for Embedded Systems
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul...
HICSS
2008
IEEE
130views Biometrics» more  HICSS 2008»
16 years 1 months ago
Enterprise Modeling for Information System Development within MDA
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
Janis Osis, Erika Asnina
167
Voted
WELCOM
2001
Springer
111views ECommerce» more  WELCOM 2001»
15 years 11 months ago
User Modelling for Live Help Systems
Abstract. We have explored the role of user modelling in live help systems for e-commerce web sites. There are several potential benefits with user modelling in this context: 1) H...
Johan Aberg, Nahid Shahmehri, Dennis Maciuszek