5255 search results - page 944 / 1051 » Formal Methods for Privacy |
108
click to vote
DAC
1995
ACM
15 years 6 months ago
1995
ACM
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
153
click to vote
ICTAI
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
108
Voted
ICAIL
1995
ACM
15 years 6 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
137
Voted
ICCV
1995
IEEE
15 years 6 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
117
click to vote
WCRE
1997
IEEE
15 years 6 months ago
1997
IEEE
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...