29172 search results - page 188 / 5835 » Modeling Systems in CLP |
ICECCS
2009
IEEE
14 years 5 months ago
2009
IEEE
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...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
WELCOM
2001
Springer
14 years 2 months ago
2001
Springer
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...
WSC
2000
13 years 11 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...