2468 search results - page 82 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
159
Voted
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, a Role-based Access Control (RBAC) model is applied and extended to a multimedia version called Multi-Role Based Access Control (MRBAC), which can fully support the...
126
click to vote
QSIC
2007
IEEE
15 years 9 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
114
click to vote
MANSCI
2007
15 years 3 months ago
2007
In this paper, we study the impact of coordinated replenishment and shipment in inventory/distribution systems. We analyze a system with multiple retailers and one outside supplie...
120
click to vote
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
— Unwanted and malicious messages dominate Email traffic and pose a great threat to the utility of email communications. Reputation systems have been getting momentum as the sol...
101
Voted
AICT
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we propose a framework for QualityDriven Delivery (QDD) in distributed multimedia environments. Quality-driven delivery refers to the capacity of a system to delive...