1268 search results - page 52 / 254 » Verifying distributed systems: the operational approach |
SASO
2010
IEEE
13 years 7 months ago
2010
IEEE
We present the ColoredPower algorithm, which is designed to provide collaborative electricity demand shaping for residential and small-business customers. Demand shaping for this m...
AICT
2006
IEEE
14 years 4 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...
EMNETS
2007
14 years 1 months ago
2007
Designing Wireless Sensor Networks (WSNs) has proven to be a slow, tedious and error-prone process due to the inherent intricacies of designing a distributed, wireless, and embedd...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper, we propose a distributed solution to the problem of configuring classifier trees in distributed stream mining systems. The configuration involves selecting appro...
SRDS
2003
IEEE
14 years 3 months ago
2003
IEEE
Traditional security systems are not easily scalable and can become single points of failure or performance bottlenecks when used on a large-scale distributed system such as the I...