85 search results - page 9 / 17 » Synthesis of live behaviour models |
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
FASE
2007
Springer
14 years 1 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
RT
1997
Springer
13 years 11 months ago
1997
Springer
: Realistic image synthesis research involves the simulation of visible light propagation within an environment with a view to computing an image that evokes a similar visual respo...
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
CEC
2003
IEEE
14 years 25 days ago
2003
IEEE
Abstract- This paper describes implementation details and results from a simulated multi-agent bacteria ecosystem. Each bacterium is encoded on a DNA-like genome, specifying the ge...