Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business Processes
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540287018, 9783540319030

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Application of Formal Methods to the Analysis of Web Services Security

Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business Processes ◽

10.1007/11549970_16 ◽

2005 ◽

pp. 215-229 ◽

Cited By ~ 5

Author(s):

Llanos Tobarra ◽

Diego Cazorla ◽

Fernando Cuartero ◽

Gregorio Díaz

Keyword(s):

Web Services ◽

Formal Methods ◽

Web Services Security

Download Full-text

Hypergraph Partitioning for Faster Parallel PageRank Computation

Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business Processes ◽

10.1007/11549970_12 ◽

2005 ◽

pp. 155-171 ◽

Cited By ~ 8

Author(s):

Jeremy T. Bradley ◽

Douglas V. de Jager ◽

William J. Knottenbelt ◽

Aleksandar Trifunović

Keyword(s):

Hypergraph Partitioning

Download Full-text

Automatic Translation of WS-CDL Choreographies to Timed Automata

Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business Processes ◽

10.1007/11549970_17 ◽

2005 ◽

pp. 230-242 ◽

Cited By ~ 20

Author(s):

Gregorio Diaz ◽

Juan-José Pardo ◽

María-Emilia Cambronero ◽

Valentín Valero ◽

Fernando Cuartero

Keyword(s):

Timed Automata ◽

Automatic Translation

Download Full-text

Choreographing Security and Performance Analysis for Web Services

Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business Processes ◽

10.1007/11549970_15 ◽

2005 ◽

pp. 200-214 ◽

Cited By ~ 8

Author(s):

Stephen Gilmore ◽

Valentin Haenel ◽

Leïla Kloul ◽

Monika Maidl

Keyword(s):

Performance Analysis ◽

Web Services ◽

And Performance

Download Full-text

A Diffusion Approximation Model of an Electronic-Optical Node

Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business Processes ◽

10.1007/11549970_14 ◽

2005 ◽

pp. 187-199 ◽

Cited By ~ 1

Author(s):

Tadeusz Czachórski ◽

Ferhan Pekergin

Keyword(s):

Diffusion Approximation ◽

Approximation Model

Download Full-text

Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step

Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business Processes ◽

10.1007/11549970_19 ◽

2005 ◽

pp. 257-271 ◽

Cited By ~ 21

Author(s):

M. Baldoni ◽

C. Baroglio ◽

A. Martelli ◽

V. Patti ◽

C. Schifanella

Keyword(s):

Web Services ◽

Interaction Protocols

Download Full-text

Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters

Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business Processes ◽

10.1007/11549970_13 ◽

2005 ◽

pp. 172-186 ◽

Cited By ~ 3

Author(s):

Maxime Martinasso ◽

Jean-François Méhaut

Keyword(s):

Complex Network ◽

Communication Latency ◽

Smp Clusters

Download Full-text

A Parametric Communication Model for the Verification of BPEL4WS Compositions

Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business Processes ◽

10.1007/11549970_23 ◽

2005 ◽

pp. 318-332 ◽

Cited By ~ 12

Author(s):

Raman Kazhamiakin ◽

Marco Pistore

Keyword(s):

Communication Model

Download Full-text

Stochastic Model Checking with Stochastic Comparison

Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business Processes ◽

10.1007/11549970_9 ◽

2005 ◽

pp. 109-123 ◽

Cited By ~ 6

Author(s):

Nihal Pekergin ◽

Sana Younès

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Stochastic Comparison ◽

Stochastic Model Checking

Download Full-text

Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel

Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business Processes ◽

10.1007/11549970_10 ◽

2005 ◽

pp. 124-138

Author(s):

Koen De Turck ◽

Sabine Wittevrongel

Keyword(s):

Delay Analysis ◽

Time Varying ◽

Time Varying Channel

Download Full-text

Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business ProcessesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Application of Formal Methods to the Analysis of Web Services Security

Hypergraph Partitioning for Faster Parallel PageRank Computation

Automatic Translation of WS-CDL Choreographies to Timed Automata

Choreographing Security and Performance Analysis for Web Services

A Diffusion Approximation Model of an Electronic-Optical Node

Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step

Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters

A Parametric Communication Model for the Verification of BPEL4WS Compositions

Stochastic Model Checking with Stochastic Comparison

Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel

Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business Processes
Latest Publications