Sciweavers

4904 search results - page 243 / 981
» Groupware: Issues and Applications
Sort
View
COMPSAC
1997
IEEE
15 years 11 months ago
The use of industrial-strength formal methods
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
Jonathan P. Bowen, Michael G. Hinchey
CSFW
1997
IEEE
15 years 11 months ago
Strategies against Replay Attacks
Abstract— Replay attacks on security protocols have been discussed for quite some time in the literature. However, the efforts to address these attacks have been largely incomple...
Tuomas Aura
CONEXT
2007
ACM
15 years 10 months ago
A quicker way to discover nearby peers
The match between a peer-to-peer overlay and the physical Internet infrastructure is a constant issue. Time-constrained peer-to-peer applications such as live streaming systems ar...
Gwendal Simon, Yiping Chen, Ali Boudani
3DIM
2003
IEEE
15 years 10 months ago
Automatic 3D modeling of palatal plaster casts
This work introduces a procedure for automatic 3D modeling and discusses its performance in the context of a medical application, namely the 3D modeling of palate's casts. Th...
Marco Andreetto, Nicola Brusco, Guido Maria Cortel...
NSDI
2008
15 years 9 months ago
The Heisenbot Uncertainty Problem: Challenges in Separating Bots from Chaff
In this paper we highlight a number of challenges that arise in using crawling to measure the size, topology, and dynamism of distributed botnets. These challenges include traffic...
Chris Kanich, Kirill Levchenko, Brandon Enright, G...