|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Barry Norton, Simon Foster 0001, Andrew Hughes |
A Compositional Operational Semantics for OWL-S.  |
EPEW/WS-FM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz 0001 |
Application of Formal Methods to the Analysis of Web Services Security. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
Protocols and standards for WS, Security of WS, Secure Electronic Commerce |
| 1 | Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.) |
Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Kazhamiakin, Marco Pistore |
A Parametric Communication Model for the Verification of BPEL4WS Compositions. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Árpád Tari, Miklós Telek, Peter Buchholz 0001 |
A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Corine Marchand, Jean-Marc Vincent |
Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Marlon Dumas, Arthur H. M. ter Hofstede, Nick Russell, H. M. W. Verbeek, Petia Wohed |
Life After BPEL? |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter G. Harrison |
Performance Engineering and Stochastic Modelling. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy T. Bradley, Douglas Vincent de Jager, William J. Knottenbelt, Aleksandar Trifunovic |
Hypergraph Partitioning for Faster Parallel PageRank Computation. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Thu-Ha Dao-Thi, Jean Mairesse |
Zero-Automatic Queues. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
M /M /1 queue, G-queue, product form, quasi-reversibility |
| 1 | Tadeusz Czachórski, Ferhan Pekergin |
A Diffusion Approximation Model of an Electronic-Optical Node. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella |
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
web service interaction protocols, formal verification, conformance test, finite state automata |
| 1 | Maxime Martinasso, Jean-François Méhaut |
Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
wormhole network, Performance evaluation, Myrinet, communication model, communication latency, cluster of SMP |
| 1 | Roberto Bruni, Gian-Luigi Ferrari 0002, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto |
From Theory to Practice in Transactional Composition of Web Services. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Claudio Guidi, Roberto Lucchi |
Reasoning About Interaction Patterns in Choreography. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen De Turck, Sabine Wittevrongel |
Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Busic, Jean-Michel Fourneau |
Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith |
PiDuce: A Process Calculus with Native XML Datatypes. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tugrul Dayar |
On Moments of Discrete Phase-Type Distributions. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Butler, Shamim Ripon |
Executable Semantics for Compensating CSP. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Mazzara |
Timing Issues in Web Services Composition. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregorio Díaz 0001, Juan José Pardo, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero |
Automatic Translation of WS-CDL Choreographies to Timed Automata. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl |
Choreographing Security and Performance Analysis for Web Services. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Ciardo |
Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nihal Pekergin, Sana Younès |
Stochastic Model Checking with Stochastic Comparison. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license