524 search results - page 22 / 105 » Application of Graph Transformation in Verification of Dynam... |
ISSS
2002
IEEE
14 years 12 days ago
2002
IEEE
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
KBSE
1995
IEEE
13 years 11 months ago
1995
IEEE
Numerical design optimization algorithms are highly sensitive to the particular formulation of the optimization problems they are given. The formulation of the search space, the o...
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract We describe the ‘Hierarchical as View’ approach to knowledge integration from heterogeneous sources. This is based on a novel representation called Layered Conceptual ...