1728 search results - page 274 / 346 » Formal Modeling of Process Migration |
ENTCS
2006
15 years 19 days ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
109
Voted
IS
2008
15 years 19 days ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
109
Voted
CORR
2007
Springer
15 years 18 days ago
2007
Springer
Discrete temporal transitions occur in a variety of domains, but this work is mainly motivated by applications in molecular biology: explaining and analyzing observed transcriptome...
106
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
116
click to vote
RULEML
2010
Springer
14 years 11 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...