The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "EPEW/WS-FM"( http://dblp.L3S.de/Venues/EPEW/WS-FM )

URL (DBLP): http://dblp.uni-trier.de/db/conf/epew

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