| 000 -LEADER |
|---|
| fixed length control field |
00737nam a2200181Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
161214s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540287019 |
| Terms of availability |
pbk |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004 |
| Item number |
BRA |
| 100 ## - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bravetti, Mario |
| 245 #0 - TITLE STATEMENT |
|---|
| Title |
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 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
New York: |
| Name of publisher, distributor, etc |
Springer, |
| Date of publication, distribution, etc |
2005 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xiii, 348 p.; |
| Other physical details |
ill.: |
| Dimensions |
24 cm. |
| 365 ## - TRADE PRICE |
|---|
| Price type code |
INR |
| Price amount |
3026.40/ EURO |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005. The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers - of the 32 submitted - were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 - from 27 submissions - include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology Techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies; comparisons with different related technologies/approaches. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer systems |
|
|---|
| Topical term or geographic name as entry element |
Telecommunication systems |
|
|---|
| Topical term or geographic name as entry element |
Formal methods |
|
|---|
| Topical term or geographic name as entry element |
Services Web |
|
|---|
| Topical term or geographic name as entry element |
Informatique |
|
|---|
| Topical term or geographic name as entry element |
Engineering & Applied Sciences |
|
|---|
| Topical term or geographic name as entry element |
Business processes |
|
|---|
| Topical term or geographic name as entry element |
EPEW |
|
|---|
| Topical term or geographic name as entry element |
WS-FM |
|
|---|
| Topical term or geographic name as entry element |
Diffusion Approximation Model |
|
|---|
| Topical term or geographic name as entry element |
Zero-Automatic Queues |
|
|---|
| Topical term or geographic name as entry element |
Web services |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kloul, Leila |
|
|---|
| Personal name |
Zavattaro, Gianluigi |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
Books |