Sciweavers

283 search results - page 1 / 57
» Coordination-Policy Based Composed System Behavior Derivatio...
Sort
View
APSEC
2007
IEEE
13 years 11 months ago
Coordination-Policy Based Composed System Behavior Derivation
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
Yiming Lau, Wenyun Zhao, Xin Peng, Zhixiong Jiang,...
SIGSOFT
2009
ACM
14 years 5 days ago
Automatic synthesis of behavior protocols for composable web-services
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
Antonia Bertolino, Paola Inverardi, Patrizio Pelli...
WETICE
2003
IEEE
13 years 10 months ago
Automatic synthesis of coordinators for COTS group-ware applications: an example
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...
Paola Inverardi, Massimo Tivoli, Antonio Bucchiaro...
CASC
2005
Springer
202views Mathematics» more  CASC 2005»
13 years 11 months ago
Cayley-Dixon Resultant Matrices of Multi-univariate Composed Polynomials
The behavior of the Cayley-Dixon resultant construction and the structure of Dixon matrices are analyzed for composed polynomial systems constructed from a multivariate system in w...
Arthur D. Chtcherba, Deepak Kapur, Manfred Minimai...
CORR
2006
Springer
113views Education» more  CORR 2006»
13 years 5 months ago
Decentralized Maximum Likelihood Estimation for Sensor Networks Composed of Nonlinearly Coupled Dynamical Systems
Abstract--In this paper, we propose a decentralized sensor network scheme capable to reach a globally optimum maximum-likelihood (ML) estimate through self-synchronization of nonli...
Sergio Barbarossa, Gesualdo Scutari