Volume 151, Number 1, 21 March 2006

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2005)

• 
  Jacques Carette, William M. Farmer: Preface. 1-2
• 
  Tobias Schmidt-Samoa: An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving. 3-20
• 
  Roy L. McCasland, Alan Bundy, Patrick F. Smith: Ascertaining Mathematical Theorems. 21-38
• 
  Jörn Ossowski, Christel Baier: Symbolic Reasoning with Weighted and Normalized Decision Diagrams. 39-56
• 
  David Delahaye, Micaela Mayero: Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System. 57-73
• 
  Luís Cruz-Filipe, Pierre Letouzey: A Large-Scale Experiment in Executing Extracted Programs. 75-91
• 
  Louise A. Dennis, Mateja Jamnik, Martin Pollet: On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. 93-110
• 
  Ruth Hardy: Interactions Between PVS and Maple in Symbolic Analysis of Control Systems. 111-125
• 
  Martin Pollet, Volker Sorge: Connecting Logical Representations and Efficient Computations. 127-142
• 
  G. W. Hamilton: Poitín: Distilling Theorems From Conjectures. 143-160
• 
  Aurélie Hurault, Marc Pantel: Mathematical Service Trading Based on Equational Matching. 161-177

Volume 151, Number 2, 31 May 2006

Proceedings of the International Workshop on Web Languages and Formal Methods (WLFM 2005)

• 
  Alvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews: Preface. 1
• 
  Claus Pahl, Yaoling Zhu: A Semantical Framework for the Orchestration and Choreography of Web Services. 3-18
• 
  Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro: A Model Checking-based Method for Verifying Web Application Design. 19-32
• 
  Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu: Towards the Semantics and Verification of BPEL4WS. 33-52
• 
  Jing Mei, Harold Boley: Interpreting SWRL Rules in RDF Graphs. 53-69
• 
  Lee Momtahan, Andrew Martin, A. W. Roscoe: A Taxonomy of Web Services Using CSP. 71-87
• 
  Shin Nakajima: Model-Checking Behavioral Specification of BPEL Applications. 89-105
• 
  Yang Liu, Jun Sun: Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. 107-124

Volume 151, Number 3, 28 June 2006

Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling (PASM 2005)

• 
  Nigel Thomas: Preface. 1-3
• 
  Jeremy T. Bradley, Stephen T. Gilmore: Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. 5-25
• 
  Stephen T. Gilmore, Olha Shkaravska: Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages. 27-45
• 
  Uli Harder, Matt W. Johnson, Jeremy T. Bradley, William J. Knottenbelt: Observing Internet Worm and Virus Attacks with a Small Network Telescope. 47-59
• 
  Peter G. Harrison: Process Algebraic Non-product-forms. 61-76
• 
  Charles Kubicek: Applying a Stochastic Model to a Dynamic, QoS Enabled Web Services Hosting Environment. 77-95
• 
  Jean-Michel Fourneau, David Nott: Convergence Routing under Bursty Traffic: Instability and an AIMD Controller. 97-109
• 
  Oliver Shaw, L. Jason Steggles, Anil Wipat: Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks. 111-129
• 
  Rafael Chanin, Mônica Corrêa, Paulo Fernandes, Afonso Sales, Roque Scheer, Avelino F. Zorzo: Analytical Modeling for Operating System Schedulers on NUMA Systems. 131-149