Sciweavers

5506 search results - page 538 / 1102
» Visualizing Software Changes
Sort
View
WOSS
2004
ACM
16 years 18 days ago
A control-based framework for self-managing distributed computing systems
This paper describes an online control framework to design self-managing distributed computing systems that continually optimize their performance in response to changing computin...
Sherif Abdelwahed, Nagarajan Kandasamy, Sandeep Ne...
PEPM
2004
ACM
16 years 16 days ago
Fusion with stacks and accumulating parameters
We propose a new algorithm for fusion transformation that allows both stacks and accumulating parameters. The new algorithm can fuse programs that cannot be handled by existing fu...
Susumu Nishimura
WADT
2004
Springer
16 years 16 days ago
Modelling Mobility with Petri Hypernets
Petri hypernets, a novel framework for modeling mobile agents based on nets-within-nets paradigm is presented. Hypernets employ a local and finitary character of interactions betw...
Marek A. Bednarczyk, Luca Bernardinello, Wieslaw P...
COMPSAC
2002
IEEE
16 years 5 days ago
Metadata Support for Safe Component Upgrades
Component platforms play a major role in current distributed information systems. As these systems evolve, components need to be upgraded without breaking the consistency of compo...
Premysl Brada
CCS
2001
ACM
15 years 11 months ago
Dynamic Self-Checking Techniques for Improved Tamper Resistance
We describe a software self-checking mechanism designed to improve the tamper resistance of large programs. The mechanism consists of a number of testers that redundantly test for ...
Bill G. Horne, Lesley R. Matheson, Casey Sheehan, ...