2137 search results - page 93 / 428 » Proving Abstract Non-interference |
109
Voted
ICC
2009
IEEE
15 years 15 days 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...
131
Voted
ICDE
2009
IEEE
15 years 15 days 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...
141
Voted
ICNP
2009
IEEE
15 years 14 days 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...
140
Voted
IFM
2009
Springer
15 years 14 days 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...
114
Voted
CORR
2010
Springer
15 years 4 days 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...