398 search results - page 4 / 80 » Diffusion Follows Structure - A Network Model of the Softwar... |
DAGSTUHL
2006
13 years 7 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
ECAL
2007
Springer
13 years 9 months ago
2007
Springer
Energy flows in ecological systems which are determined by the structure of the ecological network influence the evolution of the network itself. The total system energy throughflo...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Ac electrokinetic flows are commonly used for manipulating micron-scale particles in a biosensor system. At the solid-liquid state there are two kinds of processes in the reaction...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
EVOC (for EVOlution of Culture) is a computer model of culture that enables us to investigate how various factors such as barriers to cultural diffusion, the presence and choice o...
AGENTS
1997
Springer
13 years 10 months ago
1997
Springer
This paper gives a technical description of Creatures, a commercial home-entertainment software package. Creatures provides a simulated environment in which exist a number of synt...