8828 search results - page 293 / 1766 » Formal methods in practice |
191
click to vote
ICNP
2006
IEEE
16 years 22 days ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
195
click to vote
ACMDIS
2006
ACM
16 years 20 days ago
2006
ACM
Storyboarding is a common technique in HCI and design for demonstrating system interfaces and contexts of use. Despite its recognized benefits, novice designers still encounter ch...
200
Voted
PDP
2005
IEEE
16 years 8 days ago
2005
IEEE
Circulant graphs have been deeply studied in technical literature. Midimew networks are a class of distancerelated optimal circulant graphs of degree four which have applications ...
182
click to vote
IWDW
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper, the security of Dither Modulation Quantization Index Modulation schemes for digital images is analyzed. Both pixel and DCT coefficient quantization schemes...
177
click to vote
ICCS
2004
Springer
16 years 2 days ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...