3432 search results - page 326 / 687 » Language as a Complex Adaptive System |
139
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose an algorithm that tests membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The...
172
click to vote
PPDP
2009
Springer
16 years 21 days ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
149
Voted
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
228
Voted
ANTSW
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this work, we propose a method for self-organized adaptive task partitioning in a swarm of robots. Task partitioning refers to the decomposition of a task into less co...
170
Voted
CEFP
2005
Springer
15 years 11 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...