This book constitutes the joint refereed proceedings of the First International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, TheFormEMC, the first European Performance Engineering Workshop, EPEW, and the First International Workshop on Integration of Testing Methodologies, ITM, held jointly in association with FORTE 2004 in Toledo, Spain, in October 2004. The 27 revised full papers presented were carefully reviewed and selected from a total of 62 submissions. The papers are grouped in three topical sections corresponding to the workshop topics.
FREE Two-Day Shipping for Students. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
Electronic commerce (e-commerce) applications are susceptible to failures if the underlying protocols are not properly designed and analysed. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
informational added values, branching time relations, mobile added values, symbolic random variable, transaction state space, lazy update protocols, combinatorial exchanges, performance evaluation process algebra, commit broker, simple traffic model, business model types, pending accounts, interactive transitions, parse graph, contour around the origin, arbitrary slot, aggregation exchanges, queue evaluation, reduced reachability analysis, synchronisation strategy, stochastic process algebra, transaction cancellation, dead markings, real business models, reduced reachability graph Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Springer-Verlag Berlin Heidelberg, International Conference, Payment Handler, Minimal Market Model, Lecture Notes, Computer Society, Configuration Set, Internet Open Trading Protocol, Offer Response, Artificial Intelligence, Delivery Handler, Interaction Invariants, Mobility Workbench, Applied Computing, Authentication Status, International Symposium, Invariant Test Case Spec, Brand Dependent Offer, Brand Independent Offer, Description Language, Electronics Letters, Interaction Invariant Modification, Kluwer Academic Publishers, Operator Coverage New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Electronic commerce (e-commerce) applications are susceptible to failures if the underlying protocols are not properly designed and analysed. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
informational added values, branching time relations, mobile added values, symbolic random variable, transaction state space, lazy update protocols, combinatorial exchanges, performance evaluation process algebra, commit broker, simple traffic model, business model types, pending accounts, interactive transitions, parse graph, contour around the origin, arbitrary slot, aggregation exchanges, queue evaluation, reduced reachability analysis, synchronisation strategy, stochastic process algebra, transaction cancellation, dead markings, real business models, reduced reachability graph Key Phrases - Capitalized Phrases (CAPs): (learn more)
Computer Science, Springer-Verlag Berlin Heidelberg, International Conference, Payment Handler, Minimal Market Model, Lecture Notes, Computer Society, Configuration Set, Internet Open Trading Protocol, Offer Response, Artificial Intelligence, Delivery Handler, Interaction Invariants, Mobility Workbench, Applied Computing, Authentication Status, International Symposium, Invariant Test Case Spec, Brand Dependent Offer, Brand Independent Offer, Description Language, Electronics Letters, Interaction Invariant Modification, Kluwer Academic Publishers, Operator Coverage New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Citations (learn more)
This book cites 43
books:
See all 43 books this book cites
- Proceedings of the 18th International Conference on Software Engineering: March 25-29, 1996 Berlin, Germany (International Conference on Software ... Conference on Software Engineering) by IEEE on page 349, page 350, and page 364
- A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science) by Jane Hillston on page 140, page 154, and page 276
- Interactive Markov Chains by Holger Hermanns on page 140, page 157, and page 169
- Simulation Modelling and Analysis by W David Kelton on page 232, and page 291
- Encyclopedia of Cognitive Science by Lynn Nadel on page 100, and page 112
See all 43 books this book cites
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Computer Science > Software Engineering > Methodology
- Books > Computers & Technology > Hardware > Handheld & Mobile Devices
- Books > Computers & Technology > Hardware > Internet & Networking
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Software Development
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Testing
- Books > Computers & Technology > Software
- Books > New & Used Textbooks > Computer Science
- Books > Science & Math > Mathematics
