2357 search results - page 194 / 472 » Computing Refactorings of Behavior Models |
143
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We analyze the structure and evolution of discussion cascades in four popular websites: Slashdot, Barrapunto, Meneame and Wikipedia. Despite the big heterogeneities between these ...
145
click to vote
ICAC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we construct an evaluation framework for a self-healing system, VM-Rejuv – a virtual machine based rejuvenation scheme for web-application servers – using simple...
112
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
A key emerging and popular communication paradigm, primarily employed for information dissemination, is peer-to-peer (P2P) networking. In this paper, we model the spread of malwar...
153
click to vote
SASN
2003
ACM
15 years 9 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
148
click to vote
APSCC
2009
IEEE
15 years 9 months ago
2009
IEEE
Enterprise Architecture (EA) has become an important means to acquire and maintain knowledge about the structure and behavior of the enterprises and to develop the required IT sys...