![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Science 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.