1173 search results - page 157 / 235 » Program Derivation Using Analogy |
114
click to vote
WSC
2008
15 years 4 months ago
2008
This paper proposes a systems engineering process utilizing the conceptual artifacts of the Model Driven Architecture (MDA) describing platform independent views of models to capt...
145
click to vote
NIPS
2004
15 years 3 months ago
2004
We present an algorithm based on convex optimization for constructing kernels for semi-supervised learning. The kernel matrices are derived from the spectral decomposition of grap...
INFORMS
2008
15 years 2 months ago
2008
Edge-finding algorithms for cumulative scheduling are at the core of commercial constraint-based schedulers. This paper shows that Nuijten's edge finder for cumulative schedu...
108
click to vote
JAR
2008
15 years 2 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
119
click to vote
ENTCS
2007
15 years 2 months ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...