410 search results - page 55 / 82 » Structural Comparison of Executable Objects |
IFIPTCS
2000
13 years 11 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
ECBS
2006
IEEE
14 years 1 months ago
2006
IEEE
Refactoring of software systems represents an fundamental way of improving their quality properties. Large-scale refactoring has to be performed at an architectural level to execu...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
Fitness functions derived for certain white-box test goals can cause problems for Evolutionary Testing (ET), due to a lack of sufficient guidance to the required test data. Often t...
PADL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
ICDCS
2002
IEEE
14 years 23 days ago
2002
IEEE
We present here the execution model of a policy-driven middleware for building secure distributed collaboration systems from their high level specifications. Our specification m...