ask others

Electronic Notes in Theoretical Computer Science, Volume 151

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 151, Number 1, 21 March 2006

- view
- export record
  dblp key:
  - conf/calculemus/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calculemus/2005
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

Proceedings of the International Workshop on Web Languages and Formal Methods (WLFM 2005)

- view
  authority control:
- export record
  dblp key:
  - journals/entcs/ArenasDMM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArenasDMM06
Alvaro E. Arenas, Jin Song Dong, Andrew P. Martin, Brian Matthews:
Preface. 1
- view
- export record
  dblp key:
  - journals/entcs/PahlZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PahlZ06
Claus Pahl, Yaoling Zhu:
A Semantical Framework for the Orchestration and Choreography of Web Services. 3-18
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/DoniniMRT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DoniniMRT06
Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro:
A Model Checking-based Method for Verifying Web Application Design. 19-32
- view
- export record
  dblp key:
  - journals/entcs/PuZWQ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PuZWQ06
Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu:
Towards the Semantics and Verification of BPEL4WS. 33-52
- view
- export record
  dblp key:
  - journals/entcs/MeiB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MeiB06
Jing Mei, Harold Boley:
Interpreting SWRL Rules in RDF Graphs. 53-69
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/MomtahanMR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MomtahanMR06
Lee Momtahan, Andrew P. Martin, A. W. Roscoe:
A Taxonomy of Web Services Using CSP. 71-87
- view
- export record
  dblp key:
  - journals/entcs/Nakajima06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Nakajima06
Shin Nakajima:
Model-Checking Behavioral Specification of BPEL Applications. 89-105
- view
- export record
  dblp key:
  - journals/entcs/LiuS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LiuS06
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)

- view
- export record
  dblp key:
  - journals/entcs/Thomas06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Thomas06
Nigel Thomas:
Preface. 1-3
- view
- export record
  dblp key:
  - journals/entcs/BradleyG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BradleyG06
Jeremy T. Bradley, Stephen T. Gilmore:
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model. 5-25
- view
- export record
  dblp key:
  - journals/entcs/GilmoreS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GilmoreS06
Stephen T. Gilmore, Olha Shkaravska:
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages. 27-45
- view
- export record
  dblp key:
  - journals/entcs/HarderJBK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HarderJBK06
Uli Harder, Matt W. Johnson, Jeremy T. Bradley, William J. Knottenbelt:
Observing Internet Worm and Virus Attacks with a Small Network Telescope. 47-59
- view
  authority control:
- export record
  dblp key:
  - journals/entcs/Harrison06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Harrison06
Peter G. Harrison:
Process Algebraic Non-product-forms. 61-76
- view
- export record
  dblp key:
  - journals/entcs/Kubicek06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Kubicek06
Charles Kubicek:
Applying a Stochastic Model to a Dynamic, QoS Enabled Web Services Hosting Environment. 77-95
- view
- export record
  dblp key:
  - journals/entcs/FourneauN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FourneauN06
Jean-Michel Fourneau, David Nott:
Convergence Routing under Bursty Traffic: Instability and an AIMD Controller. 97-109
- view
- export record
  dblp key:
  - journals/entcs/ShawSW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ShawSW06
Oliver Shaw, L. Jason Steggles, Anil Wipat:
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks. 111-129
- view
- export record
  dblp key:
  - journals/entcs/ChaninCFSSZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ChaninCFSSZ06
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.