29172 search results - page 128 / 5835 » Modeling Systems in CLP |
FTCS
1998
15 years 4 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
15 years 3 months ago
2008
HYPE is a process algebra developed to model hybrid systems
117
click to vote
WSC
2007
15 years 5 months 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 ...
137
Voted
ADAPTIVE
2007
Springer
15 years 9 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...
147
click to vote
HYBRID
2003
Springer
15 years 8 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...