Sciweavers

4434 search results - page 229 / 887
» On the Composition of Hybrid Systems
Sort
View
ENTCS
2006
135views more  ENTCS 2006»
15 years 6 months ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...
PERCOM
2008
ACM
15 years 6 months ago
Composing software services in the pervasive computing environment: Languages or APIs?
The pervasive computing environment will be composed of heterogeneous services. In this work, we have explored how a domain specific language for service composition can be implem...
Jon Robinson, Ian Wakeman, Dan Chalmers
MTA
2000
112views more  MTA 2000»
15 years 6 months ago
Interactive Multimedia Documents: A Modeling, Authoring and Rendering Approach
In this paper we present our research and development experience in the context of Interactive Multimedia Documents (IMDs). We define a rich model for such documents covering the ...
Michalis Vazirgiannis, D. Tsirikos, Th. Markousis,...
ICASSP
2007
IEEE
16 years 26 days ago
A Radial Basis Function and Semantic Learning Space Based Composite Learning Approach to Image Retrieval
This paper introduces a composite learning approach for image retrieval with relevance feedback. The proposed system combines the radial basis function (RBF) based lowlevel learni...
Konstantin Shkurko, Xiaojun Qi
EUROCRYPT
2010
Springer
15 years 11 months ago
Converting Pairing-Based Cryptosystems from Composite-Order Groups to Prime-Order Groups
We develop an abstract framework that encompasses the key properties of bilinear groups of composite order that are required to construct secure pairing-based cryptosystems, and we...
David Mandell Freeman