358 search results - page 61 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
128
Voted
CADE
2001
Springer
16 years 4 months 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...
164
Voted
MMSEC
2006
ACM
15 years 9 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...
124
Voted
EDBT
2008
ACM
16 years 3 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...
132
Voted
ISSRE
2002
IEEE
15 years 8 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...
112
Voted
COMPSAC
2002
IEEE
15 years 8 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...