4890 search results - page 811 / 978 » From system specifications to component behavioral models |
GG
2008
Springer
13 years 11 months 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...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
We propose a Monte Carlo method for determining the parameters of multipath components (MPCs) for ultra-wideband channels. A partially collapsed Gibbs sampler is used for jointly ...
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper focuses on the development of EDDIE, a flexible low-cost emotion-display with 23 degrees of freedom. Actuators are assigned to particular action units of the facial...
FM
2008
Springer
13 years 12 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
ECEASST
2008
13 years 10 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...