5090 search results - page 646 / 1018 » Constructing Strategies for Programming |
195
click to vote
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
164
click to vote
ICALT
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents an ontology, the Java Learning Object Ontology - JLOO, for organizing learning objects of Java courses in an adaptive e-learning environment. The classificatio...
221
click to vote
CPM
2005
Springer
16 years 1 months ago
2005
Springer
In this paper we propose new solution methods for designing tag sets for use in universal DNA arrays. First, we give integer linear programming formulations for two previous formal...
156
Voted
FM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
184
Voted
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
A number of recent studies introduced meta-evolutionary strategies and successfully used them for solving problems in genetic programming. While individual results indicate possib...