5599 search results - page 192 / 1120 » Abstract State Services |
135
click to vote
CONCURRENCY
2007
15 years 4 months ago
2007
e is used to compose Grid applications from abstract application components that are mapped against available Grid services by the component framework at runtime. key words: compon...
154
click to vote
ECRTS
2008
IEEE
15 years 10 months ago
2008
IEEE
Real-time data services can benefit data-intensive real-time applications, e.g., e-commerce, via timely transaction processing using fresh data, e.g., the current stock prices. T...
145
click to vote
ICON
2007
IEEE
15 years 10 months ago
2007
IEEE
- In this paper we analyze the performance, utilization, and power estimation of server systems by both adopting the batch service and adjusting the batch size. In addition to redu...
144
click to vote
MM
2000
ACM
15 years 8 months ago
2000
ACM
In this paper we present a generic late-join service for distributed interactive media, i.e., networked media which involve user interactions. Examples for distributed interactive...
158
click to vote
IEEEHPCS
2010
15 years 2 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...