4340 search results - page 276 / 868 » Formal Methods and Cryptography |
202
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Privacy policies often place requirements on the purposes for which a governed entity may use personal information. For example, regulations, such as HIPAA, require that hospital ...
167
click to vote
FMCO
2005
Springer
16 years 4 days ago
2005
Springer
ion and Refinement in Model Checking Orna Grumberg Technion, Haifa, Israel FMCO, Amsterdam November 2005
157
click to vote
AFP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Refactoring is the process of improving the design of existing programs without changing their functionality. These notes cover refactoring in functional languages, using...
161
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
171
Voted
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...