525 search results - page 72 / 105 » Model Checking Systems of Replicated Processes with Spin |
104
Voted
ENTCS
2008
15 years 17 days ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
JUCS
2002
15 years 5 days ago
2002
The main goal of this research is to improve Information Retrieval Systems by enabling them to generate search outcomes that are relevant and customized to each specific user. Our ...
104
click to vote
SSS
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
128
click to vote
ADVIS
2006
Springer
15 years 6 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
106
click to vote
APSEC
2004
IEEE
15 years 4 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...