5550 search results - page 364 / 1110 » Different Approaches to Proof Systems |
183
click to vote
ICPP
1995
IEEE
15 years 10 months ago
1995
IEEE
– In this paper we present a new approach to benchmark the performance of shared memory systems. This approach focuses on recognizing how far off the performance of a given memor...
179
click to vote
CSCW
1998
ACM
15 years 6 months ago
1998
ACM
We report on participatory design activities within the POLITeam project, a large project which introduces groupware into the German government. Working with a representative small...
147
click to vote
HCI
2009
15 years 4 months ago
2009
In complex human-machine systems, the human operator is often required to intervene to detect and solve problems. Given this increased reliance on the human in these critical human...
179
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
189
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present a proof of concept application of a technique that is designed explicitly for face to face collaboration software architectures. The objective is to minim...