511 search results - page 6 / 103 » Finite System Composition and Interaction |
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
PERCOM
2006
ACM
14 years 7 months ago
2006
ACM
Dynamically creating new, composite services "on the fly" using existing ones in a local interaction environment (e.g. a home, meeting room, airport lounge, etc.) presen...
EUROGRAPHICS
2010
Eurographics
14 years 2 months ago
2010
Eurographics
Higher-order finite element methods have emerged as an important discretization scheme for simulation. They are increasingly used in contemporary numerical solvers, generating a ...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
The information that is made available through the semantic web will be accessed through complex programs (web-services, sensors, etc.) that may interact in sophisticated ways. Com...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract--We consider multiaccess multiple-input multipleoutput (MIMO) systems with finite rate feedback with the aim of understanding how to efficiently employ the given feedback ...