473 search results - page 76 / 95 » Behavioural Models for Hierarchical Components |
100
click to vote
GG
2008
Springer
15 years 25 days ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
ET
2000
14 years 11 months ago
2000
The paper presents a novel hierarchical approach to test pattern generation for sequential circuits based on an input model of mixed-level decision diagrams. A method that handles,...
111
click to vote
MAGS
2007
14 years 11 months ago
2007
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...
102
click to vote
FASE
2008
Springer
15 years 1 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
103
click to vote
BC
1999
14 years 11 months ago
1999
A prominent model of visual motion detection is the so-called correlation or Reichardt detector. Whereas this model can account for many properties of motion vision, from humans to...