Sciweavers

5599 search results - page 28 / 1120
» Abstract State Services
Sort
View
JCP
2010
63views more  JCP 2010»
14 years 8 months ago
A Formal Model for Abstracting the Interaction of Web Services
Model for Abstracting the Interaction of Web Services Li Bao, Weishi Zhang, and Xiong Xie 91
Li Bao, Weishi Zhang, Xiong Xie
GI
2005
Springer
15 years 3 months ago
Analysis and Design Techniques for Service-Oriented Development and Integration
: Service-Oriented Architectures (SOAs) have been established as an IT strategy to support the on demand goal of business agility. Web services standards and their implementations ...
Olaf Zimmermann, Niklas Schlimm, Günter Walle...
ICML
1999
IEEE
15 years 10 months ago
Abstracting from Robot Sensor Data using Hidden Markov Models
ing from Robot Sensor Data using Hidden Markov Models Laura Firoiu, Paul Cohen Computer Science Department, LGRC University of Massachusetts at Amherst, Box 34610 Amherst, MA 01003...
Laura Firoiu, Paul R. Cohen
CCGRID
2008
IEEE
15 years 4 months ago
An Autonomic Peer-to-Peer Architecture for Hosting Stateful Web Services
—In this paper we present an autonomic web services architecture that manages both the performance of service containers and the interconnection of those containers into a servic...
Christoph Reich, Kris Bubendorfer, Rajkumar Buyya
RP
2009
Springer
136views Control Systems» more  RP 2009»
15 years 2 months ago
Abstract Counterexamples for Non-disjunctive Abstractions
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
Kenneth L. McMillan, Lenore D. Zuck