Sciweavers

3706 search results - page 467 / 742
» The Transformational Approach to Program Development
Sort
View
COMPSAC
2007
IEEE
15 years 11 months ago
Using Aspect Orientation in Understanding Legacy COBOL Code
Understanding and maintaining legacy COBOL systems are still a challenging task for both academic research and industry practice. With the development of aspect-oriented software ...
Jianjun Pu, Zhuopeng Zhang, Jian Kang, Yang Xu, Ho...
158
Voted
KBSE
2006
IEEE
15 years 11 months ago
Mining Aspects from Version History
Aspect mining identifies cross-cutting concerns in a program to help migrating it to an aspect-oriented design. Such concerns may not exist from the beginning, but emerge over ti...
Silvia Breu, Thomas Zimmermann
ESOP
2004
Springer
15 years 10 months ago
Compositional Analysis of Authentication Protocols
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
Michele Bugliesi, Riccardo Focardi, Matteo Maffei
SRDS
2003
IEEE
15 years 10 months ago
Transparent Fault-Tolerant Java Virtual Machine
Replication is one of the prominent approaches for obtaining fault tolerance. Implementing replication on commodity hardware and in a transparent fashion, i.e., without changing t...
Roy Friedman, Alon Kama
CHI
1999
ACM
15 years 9 months ago
A Visual Medium for Programmatic Control of Interactive Applications
The VisMap system provides for “visual manipulation” of arbitrary off-the-shelf applications, through an application’s graphical user interface. VisMap’s API-independent c...
Luke S. Zettlemoyer, Robert St. Amant