779 search results - page 26 / 156 » An Asynchronous Distributed Component Model and Its Semantic... |
95
Voted
ICASSP
2009
IEEE
15 years 5 months ago
2009
IEEE
We consider principal component analysis (PCA) in decomposable Gaussian graphical models. We exploit the prior information in these models in order to distribute its computation. ...
100
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents an architecture that helps users to collect and qualify meta-information about web resources within a weblog and then share them with a group of people. Our arc...
105
click to vote
SPIN
2005
Springer
15 years 7 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
82
Voted
WORDS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a component model for building distributed applications with fault-tolerance requirements. The AFT-CCM model selects the configuration of replicated services d...
130
Voted
FM
2006
Springer
15 years 5 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...