Sciweavers

547 search results - page 52 / 110
» Cooperation Structures
Sort
View
CSCW
1996
ACM
15 years 4 months ago
Consistency Guarantees: Exploiting Application Semantics for Consistency Management in a Collaboration Toolkit
CSCW toolkits are designed to ease development of CSCW applications. They provide common, reusable components for cooperative system design, allowing application programmers to co...
Paul Dourish
CAISE
2006
Springer
15 years 3 months ago
Integrated Vision of Federated Data Warehouses
The notion of Federated Data Warehouse Architecture was suggested for various reasons: bigger autonomy of divisions in an organization, better adaptation to user needs, bigger effi...
Michel Schneider
ZUM
2000
Springer
15 years 3 months ago
Formal Methods for Industrial Products
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
Susan Stepney, David Cooper
AML
2008
72views more  AML 2008»
14 years 12 months ago
On Lachlan's major sub-degree problem
The Major Sub-degree Problem of A. H. Lachlan (first posed in 1967) has become a long-standing open question concerning the structure of the computably enumerable (c.e.) degrees. ...
S. Barry Cooper, Angsheng Li
AEI
2007
119views more  AEI 2007»
15 years 2 hour ago
Exploring the CSCW spectrum using process mining
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
Wil M. P. van der Aalst