Sciweavers

993 search results - page 62 / 199
» Supporting cooperative working using shared notebooks
Sort
View
SPDP
1993
IEEE
15 years 7 months ago
How to Share an Object: A Fast Timing-Based Solution
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...
Rajeev Alur, Gadi Taubenfeld
153
Voted
EDOC
1997
IEEE
15 years 7 months ago
Tele-Education Process Modelling Supported by The ODP Enterprise Viewpoint Language
This paper reports on applying the ODP enterprise viewpoint in the domain of tele-education. The work is conducted as part of a research activity1 that aims at designing a tele-ed...
Cees Volman, Val Jones, Marten van Sinderen, Ing W...
112
Voted
CANDT
2009
15 years 4 months ago
Overhearing the crowd: an empirical examination of conversation reuse in a technical support community
This paper describes a mixed method, empirical analysis of conversation reuse in an online technical support community. I find that the same characteristics that make the conversa...
Derek L. Hansen
AAAI
2007
15 years 5 months ago
Logic for Automated Mechanism Design - A Progress Report
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
Michael Wooldridge, Thomas Ågotnes, Paul E. ...
112
Voted
DSD
2009
IEEE
144views Hardware» more  DSD 2009»
15 years 10 months ago
Composable Resource Sharing Based on Latency-Rate Servers
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
Benny Akesson, Andreas Hansson, Kees Goossens