Sciweavers

503 search results - page 46 / 101
» A survey on bio-inspired networking
Sort
View
SNPD
2008
13 years 9 months ago
Tools and Techniques for Model Checking Networked Programs
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
ECOOPW
1999
Springer
13 years 12 months ago
Security in Active Networks
The desire for exible networking services has given rise to the concept of active networks." Active networks provide a general framework for designing and implementing network...
D. Scott Alexander, William A. Arbaugh, Angelos D....
IMA
2009
Springer
132views Cryptology» more  IMA 2009»
14 years 2 months ago
Subspace Codes
Abstract. This paper is a survey of bounds and constructions for subspace codes designed for the injection metric, a distance measure that arises in the context of correcting adver...
Azadeh Khaleghi, Danilo Silva, Frank R. Kschischan...
CORR
2006
Springer
103views Education» more  CORR 2006»
13 years 7 months ago
AS Relationships: Inference and Validation
Research on performance, robustness, and evolution of the global Internet is fundamentally handicapped without accurate and thorough knowledge of the nature and structure of the c...
Xenofontas A. Dimitropoulos, Dmitri V. Krioukov, M...
ICDM
2007
IEEE
103views Data Mining» more  ICDM 2007»
14 years 2 months ago
An Examination of Experimental Methodology for Classifiers of Relational Data
Experimental methodology for evaluating classification algorithms in relational (i.e., networked) data is complicated by dependencies between related data instances. We survey the...
Brian Gallagher, Tina Eliassi-Rad