8828 search results - page 227 / 1766 » Formal methods in practice |
169
click to vote
EUROSYS
2011
ACM
14 years 9 months ago
2011
ACM
The high replication cost of Byzantine fault-tolerance (BFT) methods has been a major barrier to their widespread adoption in commercial distributed applications. We present ZZ, a...
179
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
152
click to vote
WISE
2009
Springer
16 years 3 months ago
2009
Springer
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
161
click to vote
ACSD
1998
IEEE
15 years 10 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
131
click to vote
FOCM
2010
15 years 4 months ago
2010
We show how B-series may be used to derive in a systematic way the analytical expressions of the high-order stroboscopic averaged equations that approximate the slow dynamics of h...