1255 search results - page 21 / 251 » A Proof Environment for the Development of Group Communicati... |
DAGSTUHL
2003
13 years 9 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Computer-supported cooperative work (CSCW) supports groups with communication and coordination during the execution of their activities. It allows physically dispersed teams to en...
USS
2010
13 years 5 months ago
2010
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
ECIS
2001
13 years 9 months ago
2001
The web-technology is going through major changes these years, both with respect to types of systems based on web-technology, organization of the development work, required approa...
BEHAVIOURIT
2010
13 years 5 months ago
2010
Improvisation is rapidly becoming an important issue for both scholars and practitioners. Organizations that operate in turbulent environments must learn to swiftly adapt and resp...