Sciweavers

1522 search results - page 83 / 305
» Requirements analysis for large scale systems
Sort
View
SIGCOMM
2012
ACM
11 years 11 months ago
Reduction-based analysis of BGP systems with BGPVerif
Today’s inter-domain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfiguration by individual autonomous system...
Anduo Wang, Alexander J. T. Gurney, Xianglong Han,...
ASPLOS
2011
ACM
13 years 28 days ago
S2E: a platform for in-vivo multi-path analysis of software systems
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
Vitaly Chipounov, Volodymyr Kuznetsov, George Cand...
CSCW
2012
ACM
12 years 5 months ago
Building for social translucence: a domain analysis and prototype system
The relationships and work that facilitate content creation in large online contributor system are not always visible. Social translucence is a stance toward the design of systems...
David W. McDonald, Stephanie Gokhman, Mark Zachry
ISVC
2007
Springer
14 years 3 months ago
A Scalable Aural-Visual Environment for Security Event Monitoring, Analysis, and Response
Abstract. Intrusion detection systems gather large quantities of host and network information in an attempt to detect and respond to attacks against an organization. The widely var...
Paul Z. Kolano
SIGCOMM
2006
ACM
14 years 3 months ago
Jigsaw: solving the puzzle of enterprise 802.11 analysis
The combination of unlicensed spectrum, cheap wireless interfaces and the inherent convenience of untethered computing have made 802.11-based networks ubiquitous in the enterprise...
Yu-Chung Cheng, John Bellardo, Péter Benk&o...