Sciweavers

FMCO
2009
Springer
120views Formal Methods» more  FMCO 2009»
13 years 2 months ago
A Framework for Reasoning on Component Composition
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
Ludovic Henrio, Florian Kammüller, Muhammad U...
IRI
2006
IEEE
13 years 10 months ago
Dynamic adaptation of software component structures
— We present in this paper an approach aiming at dynamically adapting a component structure while preserving its behavior and its services. Among the motivations of this kind of ...
Gautier Bastide, Abdelhak Seriai, Mourad Chabane O...
KDD
2006
ACM
146views Data Mining» more  KDD 2006»
14 years 5 months ago
Structure and evolution of online social networks
In this paper, we consider the evolution of structure within large online social networks. We present a series of measurements of two such networks, together comprising in excess ...
Ravi Kumar, Jasmine Novak, Andrew Tomkins