2911 search results - page 392 / 583 » A Theory of Expressiveness in Mechanisms |
119
click to vote
CASES
2006
ACM
15 years 5 months ago
2006
ACM
Many embedded systems exhibit temporally and behaviorally disjoint behavior slices. When such behaviors are captured by state machines, the current design flow will capture it as ...
116
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines...
141
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
103
click to vote
ITS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We discuss the design of an agent for coaching collaborative learning in a distance learning context. The learning domain is entity-relationship modeling, a domain in whi...
152
Voted
AIIA
1995
Springer
15 years 5 months ago
1995
Springer
Genetic Programming (GP) is a method of automatically inducing programs by representing them as parse trees. In theory, programs in any computer languages can be translated to par...