1404 search results - page 241 / 281 » On the Behavior of Complex Object-Oriented Systems |
DALT
2006
Springer
15 years 3 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
112
click to vote
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
111
click to vote
UMC
2000
15 years 3 months ago
2000
The structural similarity of neural networks and genetic regulatory networks to digital circuits, and hence to each other, was noted from the very beginning of their study [1, 2]....
105
click to vote
AIIDE
2007
15 years 2 months ago
2007
The creation of life-like believable characters is emerging as the central focus of next-generation game development and is viewed as critical to obtaining true mass-market appeal...
AVI
2008
15 years 2 months ago
2008
MedioVis is a visual information seeking system that aims to support users' natural seeking behavior, particularly in complex information spaces. To achieve this goal we intr...