Sciweavers

3259 search results - page 68 / 652
» Modeling Autonomous-System Relationships
Sort
View
SCS
2004
13 years 10 months ago
Complex Reactive Real Time Systems and the Safety Case
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...
Gordon R. Stone
JSAC
2006
106views more  JSAC 2006»
13 years 9 months ago
Study of BGP Peering Session Attacks and Their Impacts on Routing Performance
We present a detailed study of the potential impact of BGP peering session attacks and the resulting exploitation of Route Flap Damping (RFD) that cause network-wide routing disrup...
Kotikalapudi Sriram, Doug Montgomery, Oliver Borch...
TACAS
2012
Springer
288views Algorithms» more  TACAS 2012»
12 years 4 months ago
Reduction-Based Formal Analysis of BGP Instances
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gu...
INFORMATICALT
2002
72views more  INFORMATICALT 2002»
13 years 8 months ago
Simulation of Conflict in an Agent World: Access to Resources and Possibility of Termination of the Population
The goal of the paper is to create a model for investigating the character of relationships between the freedom and restrictions in the terrorism context, in order to find out how ...
Jaak Tepandi
RE
2007
Springer
14 years 3 months ago
Consistency Checking of Conceptual Models via Model Merging
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos...