1835 search results - page 137 / 367 » Functional Programming of Behavior-Based Systems |
137
click to vote
NIPS
2001
15 years 6 months ago
2001
We present a principled and efficient planning algorithm for cooperative multiagent dynamic systems. A striking feature of our method is that the coordination and communication be...
173
Voted
CAD
2004
Springer
15 years 4 months ago
2004
Springer
: LOGO is a programming language incorporating turtle graphics, originally devised for teaching computing to young children in elementary and middle schools. Here we advocate the u...
161
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
146
click to vote
ICFP
1997
ACM
15 years 9 months ago
1997
ACM
We observe that the principal typing property of a type system is the enabling technology for modularity and separate compilation [10]. We use this technology to formulate a modul...
128
Voted
LOBJET
2008
15 years 4 months ago
2008
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...