Sciweavers

2517 search results - page 413 / 504
» Secure Deployment of Components
Sort
View
CORR
2010
Springer
157views Education» more  CORR 2010»
13 years 9 months ago
Deriving Specifications of Dependable Systems: toward a Method
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Manuel Mazzara
CORR
2010
Springer
148views Education» more  CORR 2010»
13 years 9 months ago
Data Sharing Options for Scientific Workflows on Amazon EC2
Efficient data management is a key component in achieving good performance for scientific workflows in distributed environments. Workflow applications typically communicate data be...
Gideon Juve, Ewa Deelman, Karan Vahi, Gaurang Meht...
CORR
2010
Springer
130views Education» more  CORR 2010»
13 years 9 months ago
Discrete Partitioning and Coverage Control for Gossiping Robots
We propose distributed algorithms to automatically deploy a group of mobile robots to partition and provide coverage of a non-convex environment. To handle arbitrary nonconvex envi...
Joseph W. Durham, Ruggero Carli, Paolo Frasca, Fra...
CORR
2008
Springer
88views Education» more  CORR 2008»
13 years 9 months ago
The Korrontea Data Modeling
Needs of multimedia systems evolved due to the evolution of their architecture which is now distributed into heterogeneous contexts. A critical issue lies in the fact that they ha...
Emmanuel Bouix, Philippe Roose, Marc Dalmau
COMCOM
2006
96views more  COMCOM 2006»
13 years 9 months ago
Design and implementation of a dynamic protocol framework
-- Future distributed applications are expected to be deployed in an environment that is more dynamic and heterogeneous than ever before. The environment features are difficult to ...
Liming An, Hung Keng Pung, Lifeng Zhou