2137 search results - page 93 / 428 » Proving Abstract Non-interference |
71
Voted
ICC
2009
IEEE
14 years 8 months ago
2009
IEEE
Abstract--Current data network scenario makes Traffic Engineering (TE) a very challenging task. The ever growing access rates and new applications running on end-hosts result in mo...
102
Voted
ICDE
2009
IEEE
14 years 8 months ago
2009
IEEE
Abstract--Cloud computing, the new trend for service infrastructures requires user multi-tenancy as well as minimal capital expenditure. In a cloud that services large amounts of d...
93
Voted
ICNP
2009
IEEE
14 years 8 months ago
2009
IEEE
Abstract--Recent technological advances have motivated largescale deployment of RFID systems. RFID readers are often static and carefully deployed in a planned manner. However, the...
88
Voted
IFM
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract--Flash memory is well-known for its inherent asymmetry: the flash-cell charge levels are easy to increase but are hard to decrease. In a general rewriting model, the store...