2016 search results - page 92 / 404 » Megamaps: Construction and Examples |
127
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
134
click to vote
ASE
2006
15 years 4 months ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
141
click to vote
CLEIEJ
2006
15 years 4 months ago
2006
This paper describes JADIMA (Java Distributed Machine), a collaborative platform to construct high performance distributed JAVA applications. JADIMA is a system that automatically...
148
click to vote
CONSTRAINTS
2006
15 years 4 months ago
2006
Abstract. The Still-Life problem is challenging for CP techniques because the basic constraints of the game of Life are loose and give poor propagation for Still-Life. In this pape...
162
Voted
ESWA
2006
15 years 4 months ago
2006
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...