Sciweavers

43 search results - page 3 / 9
» Transaction Models Supporting Cooperative Work - The TransCo...
Sort
View
HT
1993
ACM
13 years 11 months ago
Designing Dexter-Based Cooperative Hypermedia Systems
This paper discusses issues for the design of a Dexter-based cooperative hypermedia architecture and a specific system, DeVise Hypermedia (DHM), developed from this architecture. ...
Kaj Grønbæk, Jens A. Hem, Ole Lehrman...
TACAS
1999
Springer
88views Algorithms» more  TACAS 1999»
13 years 12 months ago
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
David Spelt, Susan Even
TOOLS
1999
IEEE
13 years 12 months ago
Cooperative Software Development: Concepts, Model and Tools
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
Josef Altmann, Gustav Pomberger
DKE
2000
102views more  DKE 2000»
13 years 7 months ago
A Generic Framework for the Modeling of Contexts and its Applications
: Large information bases that are used by several different users and applications accommodate the demands of their users more effectively, if they can be split into possibly over...
Renate Motschnig-Pitrik
GROUP
2007
ACM
13 years 11 months ago
That's what friends are for: facilitating 'who knows what' across group boundaries
We describe the design and evaluation of K-net, a social matching system to help people learn 'who knows what' in an organization by matching people with skills with tho...
N. Sadat Shami, Y. Connie Yuan, Dan Cosley, Ling X...