585 search results - page 74 / 117 » Better Abstractions for Timed Automata |
84
Voted
TCOM
2008
15 years 14 days ago
2008
Abstract--Internet traffic exhibits self-similarity and longrange dependence (LRD) on various time scales. In this paper, we propose to use the Modified Allan Variance (MAVAR) and ...
297
Voted
NOMS
2010
IEEE
14 years 11 months ago
2010
IEEE
—The online detection of anomalies is a vital element of operations in data centers and in utility clouds like Amazon EC2. Given ever-increasing data center sizes coupled with th...
130
click to vote
HIPEAC
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Stream programming is a promising way to expose concurrency to the compiler. A stream program is built from kernels that communicate only via point-to-point streams. The ...
140
click to vote
GLOBE
2011
Springer
14 years 6 days ago
2011
Springer
Abstract. Distributed or peer-to-peer storage solutions rely on the introduction of redundant data to be fault-tolerant and to achieve high reliability. One way to introduce redund...
112
click to vote
DSONLINE
2006
15 years 17 days ago
2006
We propose extending these middleware approaches with suitable abstractions to better support protocolbased interaction in mobile applications. To test our approach, we created Obj...