851 search results - page 112 / 171 » A Framework of Syntactic Models for the Implementation of Vi... |
ERLANG
2004
ACM
14 years 1 months ago
2004
ACM
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...
ISSE
2010
13 years 6 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
RE
2001
Springer
14 years 4 days ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
TCS
2008
13 years 7 months ago
2008
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
Better physiological understanding of principles regulating vascular formation and growth is mandatory to their efficient modeling for the purpose of physiologically oriented medi...