8555 search results - page 152 / 1711 » Property Based Coordination |
165
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper proposes a novel three-dimensional (3D) two-sphere regular-shaped geometry-based stochastic model (RSGBSM) with only double-bounced rays for non-isotropic scattering nar...
142
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
122
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
144
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—The performance of randomized network coding can suffer significantly when malicious nodes corrupt the content of the exchanged blocks. Previous work have introduced error corr...
132
click to vote
LICS
1991
IEEE
15 years 7 months ago
1991
IEEE
We present an elementary axiomatisation of synthetic domain theory and show that it is sufficient to deduce the fixed point property and solve domain equations. Models of these a...