


Остановите войну!
for scientists:
Electronic Notes in Theoretical Computer Science, Volume 151
Volume 151, Number 1, 21 March 2006
- Jacques Carette, William M. Farmer:
Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005. Electronic Notes in Theoretical Computer Science 151(1), Elsevier 2006 [contents]
Volume 151, Number 2, 31 May 2006
- 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
- 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.