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

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

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
Electronic Edition (link) BibTeX
Jeremy T. Bradley, Stephen T. Gilmore:
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. 5-25
Electronic Edition (link) BibTeX
Stephen T. Gilmore, Olha Shkaravska:
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages. 27-45
Electronic Edition (link) BibTeX
Uli Harder, Matt W. Johnson, Jeremy T. Bradley, William J. Knottenbelt:
Observing Internet Worm and Virus Attacks with a Small Network Telescope. 47-59
Electronic Edition (link) BibTeX
Peter G. Harrison:
Process Algebraic Non-product-forms. 61-76
Electronic Edition (link) BibTeX
Charles Kubicek:
Applying a Stochastic Model to a Dynamic, QoS Enabled Web Services Hosting Environment. 77-95
Electronic Edition (link) BibTeX
Jean-Michel Fourneau, David Nott:
Convergence Routing under Bursty Traffic: Instability and an AIMD Controller. 97-109
Electronic Edition (link) BibTeX
Oliver Shaw, L. Jason Steggles, Anil Wipat:
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks. 111-129
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX