default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 57
Volume 57, Number 1, July 2005
- Lawrence Chung, Nary Subramanian:
System and software architectures. 1-4 - Hong-Mei Chen, Rick Kazman, Aditya Garg:
BITAM: An engineering-principled method for managing misalignments between business and IT architectures. 5-26 - Michael E. Shin:
Self-healing components in robust software architecture for concurrent and distributed systems. 27-44 - Pere P. Sancho, Carlos Juiz
, Ramón Puigjaner:
Evaluating the performance of architectures in MASCOT. 45-60 - Masaki Murakami:
A calculus for concurrent system with higher-order streaming communication. 61-72 - François Coallier, Roger Champagne:
A Product Line engineering practices model. 73-87 - Kendra M. L. Cooper, Lirong Dai, Yi Deng:
Performance modeling and analysis of software architectures: An aspect-oriented UML based approach. 89-108 - Piyush Maheshwari, Albert Teoh:
Supporting ATAM with a collaborative Web-based software architecture evaluation tool. 109-128
Volume 57, Number 2, August 2005
- Niels P. Veerman:
Towards lightweight checks for mass maintenance transformations. 129-163 - Suresh Jagannathan, Jan Vitek, Adam Welc, Antony L. Hosking:
A transactional object calculus. 164-186 - Manuel Núñez, Ismael Rodríguez, Fernando Rubio:
Formal specification of multi-agent e-barter systems. 187-216 - Enrico Denti, Andrea Omicini, Alessandro Ricci:
Multi-paradigm Java-Prolog integration in tuProlog. 217-250
Volume 57, Number 3, September 2005
- M. Anton Ertl:
Advances in interpreters, virtual machines and emulators. 251-252 - Hanbing Liu, J Strother Moore:
Executable JVM model for analytical reasoning: A study. 253-274 - Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Christian W. Probst, Fermín Reig, Ning Wang:
A portable virtual machine target for proof-carrying code. 275-294 - Mario Latendresse, Marc Feeley:
Generation of fast interpreters for Huffman compressed bytecode. 295-317 - David Gregg, Andrew Beatty, Kevin Casey, Brian Davis, Andy Nisbet:
The case for virtual register machines. 319-338 - John Whaley:
Joeq: A virtual machine and compiler infrastructure. 339-356 - Krzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek:
Engineering a common intermediate representation for the Ovm framework. 357-378
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.
last updated on 2025-12-21 00:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
