Sciweavers

1205 search results - page 57 / 241
» From high-level component-based models to distributed implem...
Sort
View
118
Voted
RSP
2003
IEEE
130views Control Systems» more  RSP 2003»
15 years 5 months ago
Contributions to middleware architectures to prototype distribution infrastructures
— Distributed applications require specific middleware support for semantics and run-time constraints for a wide range of hardware or software configurations. However, their fu...
Jérôme Hugues, Laurent Pautet, Fabric...
119
Voted
ISPA
2005
Springer
15 years 6 months ago
OWL2Jess: A Transformational Implementation of the OWL Semantics
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
Jing Mei, Elena Paslaru Bontas, Zuoquan Lin
97
Voted
FMSD
2006
85views more  FMSD 2006»
15 years 17 days ago
Distributed disk-based algorithms for model checking very large Markov chains
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
Alexander Bell, Boudewijn R. Haverkort
97
Voted
AINA
2005
IEEE
15 years 6 months ago
A Practical Modelling Notation for Secure Distributed Computation
Mobile code computation has lead to a new paradigm of distributed computation. A mobile process can move from site to site and interact with the resources as a local process. To p...
Yih-Jiun Lee, Peter Henderson
128
Voted
TSP
2012
13 years 8 months ago
Distributed Covariance Estimation in Gaussian Graphical Models
—We consider distributed estimation of the inverse covariance matrix in Gaussian graphical models. These models factorize the multivariate distribution and allow for efficient d...
Ami Wiesel, Alfred O. Hero