Sciweavers

4158 search results - page 69 / 832
» A Framework for Web Science
Sort
View
ISAS
2005
Springer
15 years 10 months ago
Contract-Based Web Service Composition Framework with Correctness Guarantees
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
Nikola Milanovic
CSE
2009
IEEE
15 years 11 months ago
The Altruistic Searcher
—Recently researchers have argued that the prevailing view of Web search, as a solitary activity, is flawed: that, in reality, Web search can be an inherently collaborative task...
Barry Smyth, Maurice Coyle, Peter Briggs
SPIN
2007
Springer
15 years 10 months ago
BEEM: Benchmarks for Explicit Model Checkers
Abstract. We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their corr...
Radek Pelánek
GI
2001
Springer
15 years 9 months ago
Transaction Synchronization for XML Data in Client-Server Web Applications
: Whenever database centered client-server web applications have to be used by multiple web clients on different platforms, then recently XML has been considered as an important da...
Stefan Böttcher, Adelhard Türling
CSCW
2012
ACM
14 years 3 days ago
Building a standpoints web to support decision-making in wikipedia
Although the Web enables large-scale collaboration, its potential to support group decision-making has not been fully exploited. My research aims to analyze, extract, and represen...
Jodi Schneider