5090 search results - page 646 / 1018 » Constructing Strategies for Programming |
170
click to vote
APLAS
2006
ACM
16 years 23 days 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 ...
152
click to vote
ICALT
2005
IEEE
16 years 11 days 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...
192
Voted
CPM
2005
Springer
16 years 9 days 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...
139
Voted
FM
2005
Springer
16 years 9 days 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...
159
Voted
GECCO
2005
Springer
16 years 9 days 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...