850 search results - page 87 / 170 » Modeling synchronous systems in BIP |
187
click to vote
SCP
2010
15 years 4 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
166
click to vote
VRML
2005
ACM
15 years 12 months ago
2005
ACM
In this paper, we present LAMP3D, a system for the locationaware presentation of VRML content on mobile devices. We explore the application of LAMP3D in tourist mobile guides: the...
199
click to vote
SAMOS
2009
Springer
16 years 26 days ago
2009
Springer
Kahn Process Networks (KPN) are an appealing model of computation to specify streaming applications. When a KPN has to execute on a multi-processor platform, a mapping of the KPN m...
203
click to vote
ACCV
2006
Springer
16 years 9 days ago
2006
Springer
Abstract. This paper presents a motion capture system using two cameras that is capable of estimating a constrained set of human postures in real time. We first obtain a 3D shape ...
144
click to vote
FORTE
2007
15 years 7 months ago
2007
This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels ...