5149 search results - page 641 / 1030 » Timed Asynchronous Distributed Systems |
137
click to vote
LOGCOM
2006
15 years 4 months ago
2006
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
138
click to vote
GPC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. A Service-Level Agreement (SLA) provides surety for specific quality attributes to the consumers of services. However, the current SLAs offered by cloud providers do no...
138
click to vote
WSC
2007
15 years 7 months ago
2007
Machine failure is often an important factor in throughput of manufacturing systems. To simplify the inputs to the simulation model for complex machining and assembly lines, we ha...
145
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
The goal of this work was to explore the optimization of the feature extraction module (front-end) parameters to improve bird species recognition. We explored optimizing the spect...
141
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Sequential change diagnosis is the joint problem of detection and identification of a sudden and unobservable change in the distribution of a random sequence. In this problem, the...