29386 search results - page 88 / 5878 » On modeling of self-organizing systems |
ICSEA
2006
IEEE
15 years 4 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
ADAPTIVE
2007
Springer
15 years 4 months ago
2007
Springer
One distinctive feature of any adaptive system is the user model that represents essential information about each user. This chapter complements other chapters of this book in revi...
MSO
2003
14 years 11 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
116
click to vote
LICS
2012
IEEE
13 years 10 days ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
107
click to vote
SWQD
2012
13 years 5 months ago
2012
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...