1788 search results - page 169 / 358 » Model Theory for Process Algebra |
118
Voted
IEAAIE
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...
115
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
—Motivated by the migration mechanisms of ecosystems, various extensions to biogeography-based optimization (BBO) are proposed. BBO is an original optimization method based on th...
136
Voted
ECOWS
2007
Springer
15 years 9 months ago
2007
Springer
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
118
Voted
BPM
2003
Springer
15 years 7 months ago
2003
Springer
A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resultin...
124
Voted
BIOSYSTEMS
2007
15 years 3 months ago
2007
This essay is designed to organize a range of experimental findings and theoretical insights of the past 25 years into a coherent view of the brain’s style of function. The view...