Sciweavers

487 search results - page 3 / 98
» Dynamic Framed Aspects for Dynamic Software Evolution
Sort
View
SEFM
2003
IEEE
13 years 11 months ago
A Formal Model for Trust in Dynamic Networks
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
Marco Carbone, Mogens Nielsen, Vladimiro Sassone
IWAN
2000
Springer
13 years 9 months ago
Active Networking Means Evolution (or Enhanced Extensibility Required)
The primary goal of active networking is to increase the pace of network evolution. The approach to achieving this goal, as well as the goal of enhancing customizability, is to al...
Michael W. Hicks, Scott Nettles
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
13 years 11 months ago
Static and Dynamic Weaving in System Software with AspectC++
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...
Wolfgang Schröder-Preikschat, Daniel Lohmann,...
FASE
2008
Springer
13 years 7 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...