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
Copyright © Mon Mar 15 04:00:57 2010
by Michael Ley (ley@uni-trier.de)
