Sciweavers

1202 search results - page 31 / 241
» Sortings for Reactive Systems
Sort
View
CCS
2009
ACM
15 years 6 months ago
Reactive noninterference
Many programs operate reactively, patiently waiting for user input, subsequently running for a while producing output, and eventually returning to a state where they are ready to ...
Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sj&oum...
GECCO
2003
Springer
105views Optimization» more  GECCO 2003»
15 years 4 months ago
Coevolving Communication and Cooperation for Lattice Formation Tasks
Abstract. Reactive multi-agent systems are shown to coevolve with explicit communication and cooperative behavior to solve lattice formation tasks. Comparable agents that lack the ...
Jekanthan Thangavelautham, Tim D. Barfoot, Gabriel...
AIPS
1994
15 years 24 days ago
Testing Incremental Adaptation
A robot system operating in an environmentin which there is uncertainty and changeneeds to combinethe ability to react withthe ability to plan ahead. In a previous paper wepropose...
Damian M. Lyons, Antonius J. Hendriks
ENTCS
2008
120views more  ENTCS 2008»
14 years 11 months ago
Stochastic Bigraphs
In this paper we present a stochastic semantics for Bigraphical Reactive Systems. A reduction and a labelled stochastic semantics for bigraphs are defined. As a sanity check, we p...
Jean Krivine, Robin Milner, Angelo Troina
SCP
2002
119views more  SCP 2002»
14 years 11 months ago
Polymorphic subtyping in O'Haskell
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
Johan Nordlander