2746 search results - page 301 / 550 » Case Study in Survivable Network System Analysis |
179
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The abundant data available for protein interaction networks have not yet been fully understood. New types of analyses are needed to reveal organizational principles o...
151
click to vote
OOPSLA
2005
Springer
16 years 3 days ago
2005
Springer
An approach to managing the architecture of large software systems is presented. Dependencies are extracted from the code by a conventional static analysis, and shown in a tabular...
181
click to vote
ICDCS
2006
IEEE
16 years 20 days ago
2006
IEEE
Global-scale attacks like viruses and worms are increasing in frequency, severity and sophistication, making it critical to detect outbursts at routers/gateways instead of end hos...
153
click to vote
IAJIT
2007
15 years 6 months ago
2007
: Software analysis pattern is an approach of software reuse which provides a way to reuse expertise that can be used across domains at early level of development. Developing softw...
297
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...