default search action
Science of Computer Programming, Volume 60
Volume 60, Number 1, March 2006
- Mark Burgess:
Probabilistic anomaly detection in distributed computer networks. 1-26 - George A. Papadopoulos, Aristos Stavrou, Odysseas Papapetrou:
An implementation framework for Software Architectures based on the coordination paradigm. 27-67 - So Young Sohn, Ji Soo Lee:
Cost of ownership model for a CRM system. 68-81 - Hidetaka Kondoh, Kokichi Futatsugi:
To use or not to use the goto statement: Programming styles viewed from Hoare Logic. 82-116
Volume 60, Number 2, April 2006
- Francoise Balmas, Kostas Kontogiannis:
Introduction to the special issue on software analysis, evolution and reengineering. 117-120 - David A. Umphress, T. Dean Hendrix, James H. Cross II, Saeed Maghsoodloo:
Software visualizations for improving and measuring the comprehensibility of source code. 121-133 - Sudhakiran V. Mudiam, Gerald C. Gannod, Timothy E. Lindquist:
Synthesizing and integrating legacy components as services using adapters. 134-148 - Richard C. Holt, Andy Schürr, Susan Elliott Sim, Andreas Winter:
GXL: A graph-based standard exchange format for reengineering. 149-170 - Rainer Koschke, Gerardo Canfora, Jörg Czeranski:
Revisiting the Delta IC approach to component recovery. 171-188 - David Ung, Cristina Cifuentes:
Dynamic binary translation using run-time feedbacks. 189-204 - Arie van Deursen, Leon Moonen:
Documenting software systems using types. 205-220
Volume 60, Number 3, May 2006
- Michel Charpentier:
Composing invariants. 221-243 - Ward Douglas Maurer:
A theory of computer instructions. 244-273 - Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan:
On the static and dynamic extents of delimited continuations. 274-297
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.