3742 search results - page 239 / 749 » On the Use of Formal Techniques for Validation |
191
click to vote
CSCW
2006
ACM
16 years 16 days ago
2006
ACM
We evaluate response times, in N-user collaborations, of the popular centralized (client-server) and replicated (peer-to-peer) architectures, and a hybrid architecture in which ea...
176
click to vote
ACL
2010
15 years 4 months ago
2010
Wikipedia articles in different languages are connected by interwiki links that are increasingly being recognized as a valuable source of cross-lingual information. Unfortunately,...
177
click to vote
FMSD
2000
15 years 6 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
127
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
171
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...