Yaron Wolfsthal - Böcker
Visar alla böcker från författaren Yaron Wolfsthal. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
515 kr
Skickas inom 5-8 vardagar
Hardware and Software, Verification and Testing
First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Häftad, Engelska, 2006
550 kr
Skickas inom 10-15 vardagar
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from November 13 to16, 2005. The conference incorporated three different workshops that took place separately in previous years. The IBM Verification Workshop is now its sixth year, the IBM Software Testing Workshop is now in its fourth year, and the PADTAD Workshop on testing and debugging multi-threaded and parallel software was held for the third time. The Verification Conference was a three-day, single-track conference followed by a one-day tutorial on the testing and review of multi-threaded code. The conference presented a unique combination of fields that brought together the hardware and software testing communities. Merging the different communities under a single roof gave the conference a distinctive flavor and provided the participants with added benefits. While the applications in these separate fields are different, the techniques used are often very similar. By offering lectures in these disparate but related disciplines, the conference engendered an environment of collaboration and discovery.
Towards a Service-Based Internet. ServiceWave 2010 Workshops
International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers
Häftad, Engelska, 2011
550 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of four workshops held in conjunction with the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. The book includes 23 reviewed papers from four workshops that were selected from eight high-quality workshop session proposals. They represent diverse aspects of the theory and practice of service computing, ranging from service engineering to service infrastructures. The workshops are: First Workshop on Optimising Cloud Services (OCS 2010), International Workshop on Emergency Management through Service-Oriented Architectures (EMSOA 2010), First International Workshop on Service Modelling and Representation Techniques (SMART 2010), and From Event-Driven Business Process Management to Ubiquitous Complex Event Processing (EDBPM 2010).