1268 search results - page 203 / 254 » Verifying distributed systems: the operational approach |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Data-intensive applications often require exploratory analysis of large datasets. If analysis is performed on distributed resources, data locality can be crucial to high throughpu...
DSN
2007
IEEE
14 years 4 months ago
2007
IEEE
The Domain Name System (DNS) is a critical Internet infrastructure that provides name to address mapping services. In the past few years, distributed denial of service (DDoS) atta...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— In this paper, we present a simple statistical simulation technique for channels with long memory operating under coded data. The proposed technique employs a divideand...
EDOC
2006
IEEE
14 years 4 months ago
2006
IEEE
Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach...
ISLPED
2003
ACM
14 years 3 months ago
2003
ACM
Distributed wireless ad-hoc networks (DWANs) pose numerous technical challenges. Among them, two are widely considered as crucial: autonomous localized operation and minimization ...