Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Silvia Bindelli"'
Publikováno v:
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components.
Publikováno v:
ICECCS
When dependability of systems with a large number of components is a concern, being able to model and analyze their properties, especially non-functional ones, in a formal and automated way becomes essential. Often, however, the application of formal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f2429e4696c073b636c6cff25d194475
http://hdl.handle.net/11311/571454
http://hdl.handle.net/11311/571454
Publikováno v:
ASE Workshops
Autonomic computing is an emergent field aiming at the development of large-scale, self-managing, distributed component-based systems. This paper presents the model and the architecture of an autonomic computing element called SelfLet, which is a bui
Autor:
Silvia Bindelli, Claudio Criscione, Giorgio Orsi, Carlo Curino, Mauro Luigi Drago, Davide Eynard
Publikováno v:
On the Move to Meaningful Internet Systems: OTM 2008 Workshops ISBN: 9783540888741
OTM Workshops
OTM Workshops
The Semantic Web has the ambitious goal of enabling complex autonomous applications to reason on a machine-processable version of the World Wide Web. This, however, would require a coordinated effort not easily achievable in practice. On the other ha