default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 67
Volume 67, Number 1, June 2007
- Karl de Leeuw:
Preface. 1-2 - Pablo Moreno-Ger
, José Luis Sierra, Iván Martínez-Ortiz, Baltasar Fernández-Manjón:
A documental approach to adventure game development. 3-31 - Maria Cutumisu, Curtis Onuczko, Matthew McNaughton, Thomas Roy, Jonathan Schaeffer, Allan Schumacher, Jeff Siegel, Duane Szafron, Kevin Waugh, Mike Carbonaro, Harvey Duff, Stephanie Gillis:
ScriptEase: A generative/adaptive programming paradigm for game scripting. 32-58 - Marc J. V. Ponsen, Pieter Spronck, Héctor Muñoz-Avila, David W. Aha:
Knowledge acquisition for adaptive game AI. 59-75 - Timothy Roden, Ian Parberry, David Ducrest:
Toward mobile entertainment: A paradigm for narrative-based audio only games. 76-90 - Dennis Nieuwenhuisen, Arno Kamphuis, Mark H. Overmars:
High quality navigation in computer games. 91-104 - M. J. H. Heule, Léon J. M. Rothkrantz:
Solving games: Dependence of applicable solving procedures. 105-124
Volume 67, Numbers 2-3, July 2007
- Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo:
Using semi-formal methods for detecting interactions among smart homes policies. 125-161 - Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede:
Formal semantics and analysis of control flow in WS-BPEL. 162-198 - Martin Erwig, Deling Ren:
An update calculus for expressing type-safe program updates. 199-222 - Ward Douglas Maurer:
Generalized structured programs and loop trees. 223-246 - Chris Verhoef:
Quantifying the effects of IT-governance rules. 247-277 - Philip W. L. Fong:
Reasoning about safety properties in a JVM-like environment. 278-300 - Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney:
Engineering and theoretical underpinnings of retrenchment. 301-329
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-04 22: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:
