159 search results - page 14 / 32 » Living with the abstract: realism and models |
CEC
2003
IEEE
14 years 1 months 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...
FUIN
2002
13 years 8 months ago
2002
Abstract. In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: trans...
WDAG
1993
Springer
14 years 20 days ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
QI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Information systems are socio-technical systems. Their design, analysis and implementation requires appropriate languages for representing social and technical concepts. ...
ASE
2008
13 years 8 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...