932 search results - page 93 / 187 » Verifying Progress in Timed Systems |
129
Voted
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Many storage systems rely on replication to increase the availability and durability of data on untrusted storage systems. At present, such storage systems provide no strong evide...
132
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
Existing software thread integration (STI) methods provide synchronous thread progress within integrated functions. For the remaining, non-integrated portions of the secondary (or...
184
click to vote
TOPNOC
2010
14 years 10 months ago
2010
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...
175
click to vote
ATC
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
146
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...