Sciweavers

6682 search results - page 395 / 1337
» network 2006
Sort
View
182
Voted
ETFA
2006
IEEE
16 years 28 days ago
Modelling and Verification of IEC 61499 Applications using Prolog
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hani...
180
Voted
ACSAC
2006
IEEE
16 years 28 days ago
Practical Attack Graph Generation for Network Defense
Attack graphs are a valuable tool to network defenders, illustrating paths an attacker can use to gain access to a targeted network. Defenders can then focus their efforts on patc...
Kyle Ingols, Richard Lippmann, Keith Piwowarski
NCA
2006
IEEE
16 years 26 days ago
Improved Result Ranking in P2P File-Sharing Systems by Probing for Metadata
One of the reasons that search performance of peerto-peer file-sharing systems is poor is that results are poorly described, hurting the client’s ability to rank them. This is a...
Wai Gen Yee, Linh Thai Nguyen, Ophir Frieder
169
Voted
CANS
2009
Springer
126views Cryptology» more  CANS 2009»
16 years 1 months ago
Ensuring Authentication of Digital Information Using Cryptographic Accumulators
In this paper, we study the broadcast authentication problem for both erasure and adversarial networks. Two important concerns for authentication protocols are the authentication ...
Christophe Tartary
289
Voted
ICDE
2006
IEEE
144views Database» more  ICDE 2006»
16 years 8 months ago
Network-Aware Operator Placement for Stream-Processing Systems
To use their pool of resources efficiently, distributed stream-processing systems push query operators to nodes within the network. Currently, these operators, ranging from simple...
Peter R. Pietzuch, Jonathan Ledlie, Jeffrey Shneid...