1774 search results - page 260 / 355 » Modeling Dynamic Component Interfaces |
136
click to vote
SIMPRA
2008
15 years 2 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...
189
click to vote
JUCS
2010
14 years 9 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
150
click to vote
TMI
2010
14 years 9 months ago
2010
As decisions in cardiology increasingly rely on non-invasive methods, fast and precise image processing tools have become a crucial component of the analysis workflow. To the best ...
136
Voted
ICRA
2010
IEEE
15 years 26 days ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...
109
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...