380 search results - page 32 / 76 » Simulating Evolution's First Steps |
TCS
2008
14 years 11 months ago
2008
Beta-binders is a recent process calculus developed for modelling and simulating biological systems. As usual for process calculi, the semantic definition heavily relies on a stru...
CONTEXT
2007
Springer
15 years 5 months ago
2007
Springer
Ontology-based approaches to situation awareness have gained increasing popularity in recent years. However, most current approaches face two inherent problems. First, they lack su...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
Some recent studies have pointed that , the self-organization of neurons into brain-like structures, and the self-organization of ants into a swarm are similar in many respects. I...
104
click to vote
FM
2006
Springer
15 years 2 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
FAC
2010
14 years 8 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...