Volume 151, Number 1, 21 March 2006
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2005)
: An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving.
, Micaela Mayero
: Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System.
: Interactions Between PVS and Maple in Symbolic Analysis of Control Systems.
Volume 151, Number 2, 31 May 2006
Proceedings of the International Workshop on Web Languages and Formal Methods (WLFM 2005)
, Yaoling Zhu
: A Semantical Framework for the Orchestration and Choreography of Web Services.
: Model-Checking Behavioral Specification of BPEL Applications.
, Jun Sun
: Algorithmic Design Using Object-Z for Twig XML Queries Evaluation.
Volume 151, Number 3, 28 June 2006
Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling (PASM 2005)
: Applying a Stochastic Model to a Dynamic, QoS Enabled Web Services Hosting Environment.