128 search results - page 9 / 26 » Reactive Objects |
ISOLA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
ISCAS
2007
IEEE
14 years 1 months ago
2007
IEEE
—Fast sensory-motor processing is challenging when using traditional frame-based cameras and computers. Here we show how a hybrid neuromorphic-procedural system consisting of an ...
CCIA
2007
Springer
14 years 1 months ago
2007
Springer
Electronic Institutions are regulated environments populated by autonomous software agents that perform tasks on behalf of users. 3D Electronic Institutions extend EI with 3D Virt...
UML
1999
Springer
13 years 12 months ago
1999
Springer
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
PPL
2008
13 years 7 months ago
2008
In this paper, we present HirondML, an Objective Caml library implementing migrating threads. Our library is based on a simplified implementation of the Fair Threads, a reactive t...