4737 search results - page 808 / 948 » The LOGIC negotiation model |
181
click to vote
VTS
2007
IEEE
16 years 1 months ago
2007
IEEE
Soft errors due to cosmic particles are a growing reliability threat for VLSI systems. In this paper we analyze the soft error vulnerability of FPGAs used in storage systems. Sinc...
170
Voted
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
206
Voted
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
180
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
233
Voted
ECOWS
2007
Springer
16 years 1 months ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...