7557 search results - page 557 / 1512 » Modeling Timed Concurrent Systems |
180
Voted
ER
2008
Springer
15 years 8 months ago
2008
Springer
The capability to dynamically evolve process models over time and to migrate process instances to a modified model version are fundamental requirements for any process-aware inform...
149
click to vote
TKDE
2008
15 years 7 months ago
2008
We present a new adaptive and energy-efficient broadcast model to support flexible responses to client queries. Clients do not have to request documents by name, since they may kno...
171
click to vote
JAL
2008
15 years 7 months ago
2008
Biological systems are far more complex and robust than systems we can engineer today. One way to increase the complexity and robustness of our engineered systems is to study how ...
186
click to vote
APN
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
236
Voted
IESS
2007
Springer
16 years 1 months ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...