22909 search results - page 4434 / 4582 » A System of Interaction and Structure |
180
click to vote
TMRA
2005
Springer
15 years 12 months ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
174
click to vote
VIZSEC
2005
Springer
15 years 12 months ago
2005
Springer
While efficient graph-based representations have been developed for modeling combinations of low-level network attacks, relatively little attention has been paid to effective tech...
157
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
174
click to vote
CSCW
2004
ACM
15 years 12 months ago
2004
ACM
Although telepointers are valuable for supporting real-time collaboration, they are rarely seen in commercial groupware applications that run on the Internet. One reason for their...
188
click to vote
CSCW
2004
ACM
15 years 12 months ago
2004
ACM
Electronic mail has become the most widely-used application for business productivity and communication, yet many people are frustrated with their email. Though email usage has ch...