993 search results - page 171 / 199 » Supporting cooperative working using shared notebooks |
116
click to vote
GROUP
1997
ACM
15 years 8 months ago
1997
ACM
This paper presents the mStar environment, which creates an environment for truly scalable distributed teamwork. It can be and is being used on a daily basis for electronic meetin...
158
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
122
Voted
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
131
click to vote
ICISC
2008
15 years 5 months ago
2008
Group key agreement (GKA) allows a set of players to establish a shared secret and thus bootstrap secure group communication. GKA is very useful in many types of peer group scenar...
145
click to vote
WSC
2004
15 years 5 months ago
2004
As the U.S. Department of Homeland Security works to create an integrated emergency response system, it is evident that computer-based solutions can support this process. Individu...