3624 search results - page 470 / 725 » Abstract Algebraic Logic |
188
click to vote
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Bounded fairness is a stronger notion than ordinary eventuality-based fairness, one that guarantees occurrence of an event within a fixed number of occurrences of anothe...
157
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
d Abstract) Christel Baier1 , Holger Hermanns2,3 , Joost-Pieter Katoen2 , and Verena Wolf1 1 Institut f¨ur Informatik I, University of Bonn R¨omerstraße 164, D-53117 Bonn, Germa...
206
Voted
ISCA
2002
IEEE
15 years 11 months ago
2002
IEEE
We develop an availability solution, called SafetyNet, that uses a unified, lightweight checkpoint/recovery mechanism to support multiple long-latency fault detection schemes. At...
160
click to vote
WECWIS
2002
IEEE
15 years 11 months ago
2002
IEEE
In the web context, it is difficult to disentangle presentation from process logic, and sometimes even data is not separate from the presentation. Consequently, it becomes to de...
184
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Advances in VLSI technology have lead to a tremendous increase in the density and number of devices that can be manufactured in a single microchip. One of the interesting...