Sciweavers

12452 search results - page 269 / 2491
» An exploration of program as language
Sort
View
204
Voted
FROCOS
2009
Springer
15 years 11 months ago
A Declarative Agent Programming Language Based on Action Theories
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
Conrad Drescher, Stephan Schiffel, Michael Thielsc...
EUROGP
2007
Springer
104views Optimization» more  EUROGP 2007»
16 years 26 days ago
Code Regulation in Open Ended Evolution
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...
Lidia Yamamoto
SPIN
2005
Springer
16 years 5 days ago
Execution Generated Test Cases: How to Make Systems Code Crash Itself
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
Cristian Cadar, Dawson R. Engler
153
Voted
PPDP
2009
Springer
16 years 1 months ago
Language support for processing distributed ad hoc data
Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher,...
PLDI
2003
ACM
15 years 12 months ago
The nesC language: A holistic approach to networked embedded systems
David Gay, Philip Levis, J. Robert von Behren, Mat...