default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 71
Volume 71, Number 1, March 2008
- Antonio Navarro, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón
, José Luis Sierra:
Characterizing navigation maps for web applications with the NMM approach. 1-16 - R. J. Peters, Chris Verhoef:
Quantifying the yield of risk-bearing IT-portfolios. 17-56 - Wim H. Hesselink:
A challenge for atomicity verification. 57-72 - Joseph Barjis:
The importance of business process modeling in software systems design. 73-87
Volume 71, Number 2, April 2008
- Cormac Flanagan, Stephen N. Freund:
Atomizer: A dynamic atomicity checker for multithreaded programs. 89-109 - Lucia Acciai, Michele Boreale:
XPi: A typed process calculus for XML messaging. 110-143 - Marco Crasso, Alejandro Zunino, Marcelo Campo:
Easy web service discovery: A query-by-example approach. 144-164
Volume 71, Number 3, May 2008
- Johan Fabry, Éric Tanter, Theo D'Hondt:
KALA: Kernel aspect language for advanced transactions. 165-180 - Massimo Tivoli, Paola Inverardi:
Failure-free coordinators synthesis for component-based architectures. 181-212 - Tian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek:
Implicit ownership types for memory management. 213-241 - Myung-Hoon Chung:
Science Code.Net: Object-oriented programming for science. 242-247
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-05 22:23 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:
