4211 search results - page 97 / 843 » A formal approach to MASQ |
136
Voted
CSFW
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
ERSHOV
1993
Springer
15 years 4 months ago
1993
Springer
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
86
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Many "semiring-like" structures are used in Soft Constraint Satisfaction Problems (SCSPs). We review a few properties of semirings that are useful for dealing w...
111
click to vote
JSW
2007
15 years 18 days ago
2007
— Failure diagnosis in large and complex systems is a critical task. A discrete event system (DES) approach to the problem of failure diagnosis is presented in this paper. A clas...
SIGADA
2005
Springer
15 years 6 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...