Sciweavers

2722 search results - page 112 / 545
» The Model Evolution Calculus
Sort
View
IEEEARES
2010
IEEE
14 years 3 months ago
Formalization of Viruses and Malware Through Process Algebras
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
Grégoire Jacob, Eric Filiol, Hervé D...
EPEW
2005
Springer
14 years 1 months ago
Choreographing Security and Performance Analysis for Web Services
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
Stephen Gilmore, Valentin Haenel, Leïla Kloul...
IEEECIT
2009
IEEE
14 years 2 months ago
Unifying Runtime Adaptation and Design Evolution
Abstract—The increasing need for continuously available software systems has raised two key-issues: self-adaptation and design evolution. The former one requires software systems...
Brice Morin, Thomas Ledoux, Mahmoud Ben Hassine, F...
IJSEKE
2000
90views more  IJSEKE 2000»
13 years 8 months ago
Planning Support to Software Process Evolution
The ability to handle changes is a characteristic feature of successful software projects. The problem addressed in this paper is what should be done in project planning and itera...
Reidar Conradi, Minh Ngoc Nguyen, Alf Inge Wang, C...
KDD
2012
ACM
212views Data Mining» more  KDD 2012»
11 years 10 months ago
eTrust: understanding trust evolution in an online world
Most existing research about online trust assumes static trust relations between users. As we are informed by social sciences, trust evolves as humans interact. Little work exists...
Jiliang Tang, Huan Liu, Huiji Gao, Atish Das Sarma...