2493 search results - page 305 / 499 » Tool Support for Design by Contract |
CHI
2007
ACM
15 years 11 months ago
2007
ACM
We study small distributed work groups capturing, managing, and reusing knowledge in a collaborative activity. We conceive this process as adaptation of a group to an activity and...
CHI
2006
ACM
15 years 11 months ago
2006
ACM
The design of tools for creative activities affects the creative processes and output of users. In this paper we consider how an understanding of creative interaction can inform t...
VIZSEC
2005
Springer
15 years 4 months ago
2005
Springer
Anomalous communication patterns are one of the leading indicators of computer system intrusions according to the system administrators we have interviewed. But a major problem is...
ACMSE
2004
ACM
15 years 4 months ago
2004
ACM
Eclipse is a Java integrated development environment (IDE) and tool integration platform that offers numerous extension points for customization through a plug-in architecture. Th...
LCN
2003
IEEE
15 years 3 months ago
2003
IEEE
Optoelectronic integrated circuits can support thousands of integrated optical laser diodes and photodetectors bonded to a high-performance CMOS substrate, and can be used in the ...