Sciweavers

2746 search results - page 250 / 550
» Case Study in Survivable Network System Analysis
Sort
View
FORTE
2008
15 years 8 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
ACSAC
2006
IEEE
16 years 21 days ago
V-COPS: A Vulnerability-Based Cooperative Alert Distribution System
The efficiency of promptly releasing security alerts of established analysis centers has been greatly challenged by the continuous emergence of various large scale network attack...
Shiping Chen, Dongyu Liu, Songqing Chen, Sushil Ja...
159
Voted
NN
2006
Springer
100views Neural Networks» more  NN 2006»
15 years 6 months ago
Neural voting machines
In theories of cognition that view the mind as a system of interacting agents, there must be mechanisms for aggregate decision-making, such as voting. Here we show that certain vo...
Whitman Richards, H. Sebastian Seung, Galen Pickar...
CSCW
2002
ACM
15 years 6 months ago
Stimulating social engagement in a community network
One of the most challenging problems facing builders and facilitators of community networks is to create and sustain social engagement among members. In this paper, we investigate...
David R. Millen, John F. Patterson
AUTOMATICA
2008
90views more  AUTOMATICA 2008»
15 years 6 months ago
Average consensus problems in networks of agents with delayed communications
The present paper is devoted to the study of average consensus problems for undirected networks of dynamic agents having communication delays. By focusing on agents with integrato...
Pierre-Alexandre Bliman, Giancarlo Ferrari-Trecate