358 search results - page 61 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
CADE
2001
Springer
16 years 15 hour ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
124
click to vote
MMSEC
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
EDBT
2008
ACM
15 years 12 months ago
2008
ACM
Microaggregation is one of the most employed microdata protection methods. The idea is to build clusters of at least k original records, and then replace them with the centroid of...
ISSRE
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...