Sciweavers

3706 search results - page 467 / 742
» The Transformational Approach to Program Development
Sort
View
COMPSAC
2007
IEEE
16 years 2 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...
218
Voted
KBSE
2006
IEEE
16 years 1 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
16 years 1 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
16 years 29 days 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
190
Voted
CHI
1999
ACM
16 years 1 days 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