29172 search results - page 128 / 5835 » Modeling Systems in CLP |
FTCS
1998
13 years 11 months ago
1998
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
ENTCS
2008
13 years 10 months ago
2008
HYPE is a process algebra developed to model hybrid systems
WSC
2007
14 years 12 days ago
2007
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...
ADAPTIVE
2007
Springer
14 years 4 months ago
2007
Springer
The paper reviews the development of generic user modeling systems over the past twenty years. It describes their purposes, their services within user-adaptive systems, and the dif...
HYBRID
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...