1164 search results - page 92 / 233 » Constructive nonlinear dynamics in process systems engineeri... |
141
click to vote
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
131
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We study the problem of minimizing energy consumption in realtime embedded systems that execute variable workloads and are equipped with processors having dynamic voltage scaling ...
119
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
117
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
This paper first analyzes the feedback principle of nature immune system and then the immune process is imitated by virtue of nonlinear molecular dynamics. Then the mathematic mode...
133
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...