4451 search results - page 569 / 891 » Continuous model synthesis |
203
click to vote
IEEESCC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Modern service-oriented systems have increasingly complex loosely-coupled architectures that often exhibit poor performance and resource efficiency and have high operat...
159
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We present a method for transforming the infinite interactive state space of interactive POMDPs (I-POMDPs) into a finite one, thereby enabling the computation of exact solutions. ...
157
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Designing storage systems to provide business continuity in the face of failures requires the use of various data protection techniques, such as backup, remote mirroring, point-in-...
161
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Though new technological trends and paradigms arise for developing complex software systems, systematic reuse continues to be an elusive goal. In this context, the adoption of Comm...
160
click to vote
WSC
2007
15 years 9 months ago
2007
The Cross-Entropy (CE) method is a modern and effective optimization method well suited to parallel implementations. There is a vast array of problems today, some of which are hig...