Electronic Notes in Theoretical Computer Science, Volume 151

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
• 
  Geoff 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 P. 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 P. 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