4962 search results - page 676 / 993 » Stochastic Model Checking |
147
click to vote
ECAL
2007
Springer
16 years 19 days ago
2007
Springer
Our agent-based model of genotype editing is defined by two distinct genetic components: a coding portion encoding phenotypic solutions, and a non-coding portion used to edit the ...
174
click to vote
ECAL
2007
Springer
16 years 19 days ago
2007
Springer
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
172
click to vote
ICRA
2006
IEEE
16 years 15 days ago
2006
IEEE
— When a network of robots or static sensors is emplaced in an environment, the spatial relationships between the sensing units must be inferred or computed for most key applicat...
163
click to vote
IROS
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— We describe a model for planar distributed assembly, in which agents move randomly and independently on a twodimensional grid, joining square blocks together to form a ...
144
click to vote
SRDS
2006
IEEE
16 years 14 days ago
2006
IEEE
Distributed snapshots are an important building block for distributed systems, and, among other applications, are useful for constructing efficient checkpointing protocols. In ad...