948 search results - page 57 / 190 » Analysis of SITA policies |
144
click to vote
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
Today’s inter-domain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfiguration by individual autonomous system...
137
click to vote
JUCS
2010
14 years 8 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
139
click to vote
CODES
2011
IEEE
14 years 1 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
154
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
Organizations are under increasing scrutiny to document their compliance to regulatory requirements. To this end, they have to formally document their operating procedures to supp...
122
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
In this paper we develop a tractable framework for SINR analysis in downlink heterogeneous cellular networks (HCNs) with flexible cell association policies. The HCN is modeled as...