11121 search results - page 392 / 2225 » Computing with Continuous Change |
155
click to vote
TGC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
252
Voted
ICDE
2007
IEEE
16 years 6 months ago
2007
IEEE
There has been considerable work on automated physical design tuning for database systems. Existing solutions require offline invocations of the tuning tool and depend on DBAs ide...
113
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
We provide a system for surfing the web at a high level of abstraction, which is an analogy of the web browser, but which displays entire sites at a time. It allows a principled i...
221
click to vote
SIGMOD
2006
ACM
16 years 5 months ago
2006
ACM
There exist emerging applications of data streams that require association rule mining, such as network traffic monitoring and web click streams analysis. Different from data in t...
156
click to vote
BPM
2007
Springer
15 years 11 months ago
2007
Springer
In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service compo...