Sciweavers

5830 search results - page 214 / 1166
» Automatic link generation
Sort
View
ICSE
2009
IEEE-ACM
15 years 3 months ago
Slede: Framework for automatic verification of sensor network security protocol implementations
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
Youssef Hanna, Hridesh Rajan
DCC
2001
IEEE
16 years 5 months ago
Towards Compressing Web Graphs
We consider the problem of compressing graphs of the link structure of the World Wide Web. We provide efficient algorithms for such compression that are motivated by recently prop...
Micah Adler, Michael Mitzenmacher
HICSS
2007
IEEE
123views Biometrics» more  HICSS 2007»
16 years 14 days ago
The Influence of Information Linkage on User Acceptance of a Knowledge Management System (KMS) in Small to Mid-size Enterprises
A concern relevant to the viability of a Knowledge Management System (KMS) implementation may well be: at what point is there adequate information packets and links among them to ...
Robert Judge
VISUALIZATION
2005
IEEE
15 years 11 months ago
Visualization of the Genus of Knots
The genus of a knot or link can be defined via Seifert surfaces. A Seifert surface of a knot or link is an oriented surface whose boundary coincides with that knot or link. Schem...
Jarke J. van Wijk, Arjeh M. Cohen
156
Voted
ICALT
2006
IEEE
16 years 6 days ago
Hybrid System for Generating Learning Object Metadata
– Generating LOM for learning material is a complex and tedious task to be manually completed. Therefore, the current trend is to automate this process. However, there are severa...
Olivier Motelet, Nelson A. Baloian