5255 search results - page 268 / 1051 » Formal Methods for Privacy |
160
click to vote
MICS
2008
15 years 3 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
152
click to vote
DAGSTUHL
1992
15 years 5 months ago
1992
DESMET was a DTI-backed project with the goal of developing and validating a methodology for evaluating software engineering methods and tools. The project identified nine methods...
122
click to vote
ICRA
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a class of fundamental control policies suitable for use in a novel method for designing and specifying the dynamic motion of robotic systems. Through recourse...
145
click to vote
ITSSA
2006
15 years 4 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
116
click to vote
FMCAD
1998
Springer
15 years 8 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...