2223 search results - page 387 / 445 » Events in Property Patterns |
153
Voted
SIGOPS
2008
15 years 3 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
127
Voted
ALIFE
2005
15 years 3 months ago
2005
We consider a hierarchical multicellular sensing and communication network, embedded in an ageless aerospace vehicle, that is expected to detect and react to multiple impacts and d...
130
Voted
ANOR
2005
15 years 3 months ago
2005
: In this paper, we present a supply chain network model with multiple tiers of decision-makers, consisting, respectively, of manufacturers, distributors, and retailers, who can co...
123
Voted
BC
2005
15 years 3 months ago
2005
We show in a model of spiking neurons that synaptic plasticity in the mushroom bodies in combination with the general fan-in, fan-out properties of the early processing layers of t...
136
Voted
IVC
2007
15 years 3 months ago
2007
In this paper connected operators from mathematical morphology are extended to a wider class of operators, which are based on connectivities in higher-dimensional spaces, similar ...