9166 search results - page 422 / 1834 » A framework for comparing models of computation |
178
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
184
click to vote
FIDJI
2004
Springer
15 years 10 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
175
click to vote
ICMT
2010
Springer
15 years 10 months ago
2010
Springer
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...
158
click to vote
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
We propose a general framework for simultaneous segmentation and modelling of signals based on an Equipartition Principle (EP). According to EP, the signal is divided into segment...
152
click to vote
EDOC
2006
IEEE
16 years 26 days ago
2006
IEEE
The variety of design artefacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper pro...