4520 search results - page 548 / 904 » Algebraic Techniques for Timed Systems |
141
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Reuse of application software has been limited and sometimes has led to accidents. This paper suggests some requirements for successful and safe application software reuse and dem...
168
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
We consider the problem of fault-tolerant agreement in a crash-prone synchronous system. We present a new randomized consensus algorithm that achieves optimal communication effici...
148
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The Multicanonical Monte Carlo (MMC) technique is a new form of adaptive importance sampling (IS). Thanks to its blind adaptation algorithm, it does not require an in-depth syst...
151
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiti...
159
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper is concerned with modeling, analysis and optimization/control of occupancy evolution in a large building. The main concern is efficient evacuation of a building in ...