2036 search results - page 127 / 408 » A generic type-and-effect system |
91
Voted
DEDS
2002
15 years 17 days ago
2002
This article presents an extension to the timed binary Cell-DEVS paradigm. The goal is to allow the modelling of n-dimensional generic cell spaces, including transport or inertial...
DAC
2002
ACM
16 years 1 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
110
Voted
EDBT
2004
ACM
16 years 27 days ago
2004
ACM
Molecular-biological annotation data is continuously being collected, curated and made accessible in numerous public data sources. Integration of this data is a major challenge in ...
EDOC
2009
IEEE
15 years 7 months ago
2009
IEEE
—The design of an Enterprise Architecture (EA) management function for an enterprise is no easy task. Various frameworks exist as well as EA management tools, which promise to de...
104
Voted
ICAC
2008
IEEE
15 years 7 months ago
2008
IEEE
The execution of job flow applications is a reality today in academic and industrial domains. In this paper, we propose an approach to adding self-healing behavior to the executio...