1173 search results - page 164 / 235 » Program Derivation Using Analogy |
109
click to vote
WABI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, we use integer programming approach for solving a hard combinatorial optimization problem, namely protein threading. For this sequence-to-structure alignme...
147
click to vote
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
126
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...
132
click to vote
ECBS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper discusses an approach for top-down composition of software architectures. First, an architecture is derived that addresses functional requirements only. This architectu...
103
click to vote
TOOLS
2010
IEEE
15 years 7 months ago
2010
IEEE
Meta-modelling is at the core of Model-Driven Engineering, where it is used for language engineering and domain modelling. The OMG’s Meta-Object Facility is the standard framewor...