11168 search results - page 131 / 2234 » Abstract State Processes |
159
click to vote
JOT
2010
15 years 3 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
190
click to vote
CALCO
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
116
Voted
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper investigates the processes used by an evolved, embodied simulated agent to adapt to large disruptive changes in its sensor morphology, whilst maintaining perfo...
130
click to vote
FSMNLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The last decade has seen an increase in the number of available corpus query systems. These systems generally implement a query language as well as a database model. We r...
118
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...