457 search results - page 19 / 92 » A Dialectic Approach to Problem-Solving |
159
Voted
CIBSE
2009
ACM
16 years 1 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
219
click to vote
PADL
2005
Springer
16 years 6 days ago
2005
Springer
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to us...
162
click to vote
ESOP
2004
Springer
16 years 3 days ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
164
Voted
JAR
2007
15 years 6 months ago
2007
We describe the reconstruction of a phylogeny for a set of taxa, with a character-based cladistics approach, in a declarative knowledge representation formalism, and show how to u...
182
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Functional programming languages, such as Haskel...