Loading…
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 /
Saved in:
| Corporate Authors: | , , |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2005.
|
| Series: | Lecture notes in computer science ;
3670. |
| Physical Description: |
1 online resource (xiii, 348 pages) : illustrations. |
| Subjects: | |
| Online Access: | SpringerLink - Click here for access |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ocn262681403 | ||
| 003 | OCoLC | ||
| 005 | 20240223121953.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 081017s2005 gw a ob 101 0 eng d | ||
| 019 | |a 222316265 |a 288236304 |a 607477820 |a 613491670 |a 707923723 |a 755014502 |a 767167317 |a 880016611 |a 1066479074 | ||
| 020 | |a 9783540319030 | ||
| 020 | |a 3540319034 | ||
| 020 | |a 3540287019 |q (pbk.) | ||
| 020 | |a 9783540287018 |q (pbk.) | ||
| 024 | 7 | |a 10.1007/11549970 |2 doi | |
| 035 | |a (OCoLC)262681403 |z (OCoLC)222316265 |z (OCoLC)288236304 |z (OCoLC)607477820 |z (OCoLC)613491670 |z (OCoLC)707923723 |z (OCoLC)755014502 |z (OCoLC)767167317 |z (OCoLC)880016611 |z (OCoLC)1066479074 | ||
| 037 | |a 978-3-540-28701-8 |b Springer |n http://www.springerlink.com | ||
| 040 | |a GW5XE |b eng |e pn |c GW5XE |d YNG |d UWW |d NUI |d OCLCQ |d N$T |d MNU |d OCLCO |d OCLCQ |d OCLCE |d OCLCF |d BEDGE |d ITD |d OCLCO |d SLY |d IDEBK |d OCL |d OCLCO |d OCLCQ |d EBLCP |d NAM |d OCLCQ |d ESU |d U3W |d TFW |d OCLCO |d AU@ |d WYU |d ICG |d OCLCQ |d COM |d OCLCO |d OCLCQ |d OCLCL | ||
| 042 | |a dlr | ||
| 049 | |a COM6 | ||
| 050 | 4 | |a QA76.9.E94 |b E64 2005 | |
| 072 | 7 | |a TK |2 lcco | |
| 072 | 7 | |a COM |x 011000 |2 bisacsh | |
| 072 | 7 | |a UMZ |2 bicssc | |
| 082 | 0 | 4 | |a 004.2 |2 22 |
| 084 | |a 54.10 |2 bcl | ||
| 084 | |a TN915-532 |2 clc | ||
| 084 | |a TP393. 092-532 |2 clc | ||
| 084 | |a TP306-532 |2 clc | ||
| 111 | 2 | |a EPEW (Workshop) |d (2005 : |c Versailles, France) | |
| 245 | 1 | 0 | |a Formal techniques for computer systems and business processes : |b 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 / |c Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.). |
| 246 | 3 | 0 | |a EPEW 2005. |
| 246 | 3 | 0 | |a WS-FM 2005. |
| 264 | 1 | |a Berlin ; |a New York : |b Springer, |c ©2005. | |
| 300 | |a 1 online resource (xiii, 348 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent. | ||
| 337 | |a computer |b c |2 rdamedia. | ||
| 338 | |a online resource |b cr |2 rdacarrier. | ||
| 347 | |a text file. | ||
| 347 | |b PDF. | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 3670. | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL. | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL. | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL. | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL. | |
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL. | |
| 505 | 0 | |a Invited Speakers -- Performance Engineering and Stochastic Modelling -- Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems -- PiDuce: A Process Calculus with Native XML Datatypes -- Life After BPEL? -- EPEW -- On Moments of Discrete Phase-Type Distributions -- Zero-Automatic Queues -- A Unified Approach to the Moments Based Distribution Estimation -- Unbounded Support -- Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering -- Stochastic Model Checking with Stochastic Comparison -- Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel -- Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments -- Hypergraph Partitioning for Faster Parallel PageRank Computation -- Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters -- A Diffusion Approximation Model of an Electronic-Optical Node -- WS-FM -- Choreographing Security and Performance Analysis for Web Services -- Application of Formal Methods to the Analysis of Web Services Security -- Automatic Translation of WS-CDL Choreographies to Timed Automata -- Executable Semantics for Compensating CSP -- Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step -- From Theory to Practice in Transactional Composition of Web Services -- Timing Issues in Web Services Composition -- A Compositional Operational Semantics for OWL-S -- A Parametric Communication Model for the Verification of BPEL4WS Compositions -- Reasoning About Interaction Patterns in Choreography. | |
| 650 | 0 | |a Computer systems |x Evaluation |v Congresses. |0 https://id.loc.gov/authorities/subjects/sh2009121227. | |
| 650 | 0 | |a Telecommunication systems |0 https://id.loc.gov/authorities/subjects/sh85133301 |x Evaluation |0 https://id.loc.gov/authorities/subjects/sh00005674 |v Congresses. |0 https://id.loc.gov/authorities/subjects/sh99001533. | |
| 650 | 0 | |a Formal methods (Computer science) |v Congresses. |0 https://id.loc.gov/authorities/subjects/sh2008104061. | |
| 650 | 0 | |a Web services |v Congresses. |0 https://id.loc.gov/authorities/subjects/sh2010118441. | |
| 650 | 6 | |a Systèmes informatiques |x Évaluation |v Congrès. | |
| 650 | 6 | |a Systèmes de télécommunications |x Évaluation |v Congrès. | |
| 650 | 6 | |a Méthodes formelles (Informatique) |v Congrès. | |
| 650 | 6 | |a Services Web |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Systems Architecture |x General. |2 bisacsh. | |
| 650 | 0 | 7 | |a Computer systems |x Evaluation. |2 cct. |
| 650 | 0 | 7 | |a Telecommunication systems |x Evaluation. |2 cct. |
| 650 | 0 | 7 | |a Formal methods (Computer science) |2 cct. |
| 650 | 0 | 7 | |a Web Services. |2 cct. |
| 650 | 7 | |a Informatique. |2 eclas. | |
| 650 | 7 | |a Computer systems |x Evaluation. |2 fast |0 (OCoLC)fst00872653. | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast |0 (OCoLC)fst00932926. | |
| 650 | 7 | |a Telecommunication systems |x Evaluation. |2 fast |0 (OCoLC)fst01146052. | |
| 650 | 7 | |a Web services. |2 fast |0 (OCoLC)fst01173242. | |
| 650 | 7 | |a Formale Methode. |2 gnd. | |
| 650 | 7 | |a Web Services. |2 gnd. | |
| 650 | 7 | |a Méthode formelle. |2 rasuqam. | |
| 650 | 7 | |a Évaluation. |2 rasuqam. | |
| 650 | 7 | |a Système d'information. |2 rasuqam. | |
| 650 | 7 | |a Système de télécommunication. |2 rasuqam. | |
| 650 | 7 | |a Service Web. |2 rasuqam. | |
| 655 | 2 | |a Congress. |0 https://id.nlm.nih.gov/mesh/D016423. | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772. | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft |0 https://id.loc.gov/authorities/genreForms/gf2014026068. | |
| 655 | 7 | |a Actes de congrès. |2 rvmgf. | |
| 655 | 7 | |a Kongress. |2 swd. | |
| 655 | 7 | |a Versailles (2005) |2 swd. | |
| 700 | 1 | |a Bravetti, Mario. |0 https://id.loc.gov/authorities/names/nb2005013378. | |
| 700 | 1 | |a Kloul, Leïla. |0 https://id.loc.gov/authorities/names/nb2005013381. | |
| 700 | 1 | |a Zavattaro, Gianluigi. |0 https://id.loc.gov/authorities/names/nb2005008937. | |
| 710 | 2 | |a SpringerLink (Online service) |0 https://id.loc.gov/authorities/names/no2005046756. | |
| 711 | 2 | |a International Workshop on Web Services and Formal Methods |d (2005 : |c Versailles, France) |0 https://id.loc.gov/authorities/names/nb2005013388. | |
| 776 | 0 | 8 | |i Print version: |a EPEW (2005 : Versailles, France). |t Formal techniques for computer systems and business processes. |d Berlin ; New York : Springer, ©2005 |z 3540287019 |z 9783540287018 |w (DLC) 2005931522 |w (OCoLC)61430353. |
| 830 | 0 | |a Lecture notes in computer science ; |0 https://id.loc.gov/authorities/names/n42015162 |v 3670. |x 0302-9743. | |
| 907 | |a .b29569606 |b multi |c - |d 100215 |e 240320 | ||
| 998 | |a (3)cue |a cc |a cu |b 240227 |c m |d z |e - |f eng |g gw |h 0 |i 3 | ||
| 948 | |a MARCIVE Overnight, in 2024.03 | ||
| 948 | |a MARCIVE Comp, in 2022.12 | ||
| 948 | |a MARCIVE Over, 07/2021 | ||
| 948 | |a MARCIVE Comp, 2018.05 | ||
| 948 | |a MARCIVE Comp, 2017.10 | ||
| 948 | |a MARCIVE August, 2017 | ||
| 948 | |a MARCIVE extract Aug 5, 2017 | ||
| 994 | |a 92 |b COM | ||
| 995 | |a Loaded with m2btab.ltiac in 2024.03 | ||
| 995 | |a Loaded with m2btab.elec in 2024.02 | ||
| 995 | |a Loaded with m2btab.ltiac in 2022.12 | ||
| 995 | |a Loaded with m2btab.ltiac in 2021.07 | ||
| 995 | |a Loaded with m2btab.elec in 2021.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2018.06 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.10 | ||
| 995 | |a Loaded with m2btab.ltiac in 2017.08 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a Loaded with m2btab.elec in 2016 | ||
| 995 | |a OCLC offline update by CMU | ||
| 999 | |e z | ||
| 999 | |a cue | ||
| 989 | |d cueme |e - - |f - - |g - |h 0 |i 0 |j 200 |k 240227 |l $0.00 |m |n - - |o - |p 0 |q 0 |t 0 |x 0 |w SpringerLink |1 .i150190955 |u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/11549970 |3 SpringerLink |z Click here for access | ||