2912 search results - page 522 / 583 » A Study of Collaboration in Software Design |
127
Voted
WSC
1997
15 years 5 months ago
1997
We describe our experiences designing and implementing a virtual PNNI network testbed. The network elements and signaling protocols modeled are consistent with the ATM Forum PNNI ...
137
Voted
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
129
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
163
Voted
IUI
2010
ACM
15 years 10 months ago
2010
ACM
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...
133
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
A major challenge of the anti-virus (AV) industry is how to effectively process the huge influx of malware samples they receive every day. One possible solution to this problem i...