2702 search results - page 246 / 541 » Practically Applicable Formal Methods |
126
Voted
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
Architectural quality constitutes a critical factor for contemporary software systems, especially because of their size and the needs for frequent, quick changes. For success-crit...
118
Voted
VCIP
2003
15 years 3 months ago
2003
In this paper, we propose a novel authentication method for digital images that achieves fine authenticating granularity (e.g., block-level granularity). Its appealing flexibility ...
125
click to vote
TCSV
2002
15 years 2 months ago
2002
A new class of image information-restoration algorithms virtually different from traditional techniques are proposed. In comparison with other approaches, our methods not only use ...
107
click to vote
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
—The XML language is becoming the preferred means of data interchange and representation in web based applications. Usually, XML data is stored in XML repositories, which can be ...
112
click to vote
DIS
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we propose a method for discovering hidden information from large-scale item set data based on the symmetry of items. Symmetry is a fundamental concept in the theory...