3047 search results - page 284 / 610 » A Temporal Consensus Model |
167
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
173
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
172
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
171
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
The timing models used in current Static Timing Analysis tools use gate delays only for single input switching events. It is well known that the temporal proximity of signals arriv...
177
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...