Sciweavers

550 search results - page 56 / 110
» An Application Directed Adaptive Framework for Autonomic Sof...
Sort
View
CAISE
2005
Springer
15 years 4 months ago
Capitalizing on Awareness of User Tasks for Guiding Self-Adaptation
Abstract. Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations acr...
João Pedro Sousa, Vahe Poladian, David Garl...
110
Voted
JIT
2005
Springer
115views Database» more  JIT 2005»
15 years 4 months ago
Dynamic Aspect Weaver Family for Family-based Adaptable Systems
: Complex software systems, like operating systems and middleware, have to cope with a broad range of requirements as well as strict resource constraints. Family-based software dev...
Wasif Gilani, Olaf Spinczyk
PEPM
2010
ACM
15 years 8 months ago
Conditional weighted pushdown systems and applications
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
Xin Li, Mizuhito Ogawa
SSR
2001
104views more  SSR 2001»
15 years 14 days ago
Secure and efficient mobile agent application reuse using patterns
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
Yasuyuki Tahara, Nobukazu Toshiba, Akihiko Ohsuga,...
SEFM
2006
IEEE
15 years 5 months ago
A PVS Based Framework for Validating Compiler Optimizations
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker