Sciweavers

5599 search results - page 9 / 1120
» Abstract State Services
Sort
View
ICCCN
2007
IEEE
15 years 6 months ago
Large-Scale QoS-Aware Service-Oriented Networking with a Clustering-Based Approach
—Motivated by the fact that most of the existing QoS service composition solutions have limited scalability, we develop a hierarchical-based solution framework to achieve scalabi...
Jingwen Jin, Jin Liang, Jingyi Jin, Klara Nahrsted...
TOCL
2008
113views more  TOCL 2008»
14 years 11 months ago
Abstract state machines capture parallel algorithms: Correction and extension
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
Andreas Blass, Yuri Gurevich
60
Voted
ICFEM
2009
Springer
15 years 6 months ago
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Z...