Sciweavers

29386 search results - page 118 / 5878
» On modeling of self-organizing systems
Sort
View
WSC
2007
15 years 11 days ago
System and simulation modeling using SysML
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 ...
Edward Huang, Randeep Ramamurthy, Leon F. McGinnis
ADAPTIVE
2007
Springer
15 years 4 months ago
Generic User Modeling Systems
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...
Alfred Kobsa
HYBRID
2003
Springer
15 years 3 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
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...
Paulo Tabuada, George J. Pappas
KES
2004
Springer
15 years 3 months ago
A Process Algebra Model of the Immune System
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
Raul Monroy
SEW
2003
IEEE
15 years 3 months ago
Adopting a Software Component Model in Real-Time Systems Development
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
Frank Lüders