191
click to vote
ASM
15 years 10 months ago
2010 ASM 
A natural encoding of synchronous message exchange with direct wait-control is proved to be equivalent in a distributed environment to a refinement which uses semaphores to implem...
152
click to vote
ASM
15 years 1 months ago
2010 ASM 
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
ASM
15 years 10 months ago
2010 ASM 117
click to vote
ASM
15 years 8 months ago
2010 ASM 
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...
105
click to vote
ASM
15 years 10 months ago
2010 ASM
Abstract. The aim of this paper is to gradually introduce formalism in the requirement engineering phase in order to facilitate its validation. We analyze and elicit our requiremen...
|
Computational Biology