7167 search results - page 1381 / 1434 » A Technique for Invariant Generation |
196
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
172
click to vote
CPAIOR
2008
Springer
15 years 8 months ago
2008
Springer
Theoretical models for the evaluation of quickly improving search strategies, like limited discrepancy search, are based on specific assumptions regarding the probability that a va...
162
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
When involved in collaborative tasks, users often choose to use multi-synchronous applications in order to concurrently work in isolation. Hence, privacy of their changes is maint...
172
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
A significant number of emerging on-line data analysis applications require the processing of data streams, large amounts of data that get updated continuously, to generate output...
183
click to vote
IMC
2007
ACM
15 years 7 months ago
2007
ACM
We address the problem of efficient end-to-end network monitoring of path metrics in communication networks. Our goal is to minimize the number of measurements or monitors requir...