511 search results - page 6 / 103 » Finite System Composition and Interaction |
99
Voted
ATVA
2008
Springer
15 years 1 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
15 years 11 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...
107
Voted
EUROGRAPHICS
2010
Eurographics
15 years 6 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 ...
89
Voted
OTM
2007
Springer
15 years 5 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
14 years 11 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 ...