Sciweavers

1177 search results - page 55 / 236
» A Theory of Role Composition
Sort
View
WICSA
2001
15 years 7 months ago
Interface-Centric Architecture Descriptions
This paper presents an approach to defining component-based software architectures in which interfaces rather than components play the key role. Architectural descriptions are bui...
Hans Jonkers
POPL
2009
ACM
16 years 6 months ago
Compositional shape analysis by means of bi-abduction
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...
EMSOFT
2005
Springer
15 years 11 months ago
Tag machines
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
Albert Benveniste, Benoît Caillaud, Luca P. ...
APIN
2005
94views more  APIN 2005»
15 years 5 months ago
Extension of Petri Nets for Representing and Reasoning with Tasks with Imprecise Durations
This paper presents an extension of Petri net framework with imprecise temporal properties. We use possibility theory to represent imprecise time by time-stamping tokens and assig...
Stanislav Kurkovsky, Rasiah Loganantharaj
RSFDGRC
2009
Springer
16 years 15 days ago
Fuzzy Sets and Rough Sets for Scenario Modelling and Analysis
Abstract. Both fuzzy set theory and rough set theory play an important role in data-driven, systems modelling and analysis. They have been successfully applied to building various ...
Qiang Shen