3799 search results - page 337 / 760 » An Engineering Approach to Formal Methods |
175
click to vote
ACCV
2006
Springer
16 years 22 days ago
2006
Springer
Abstract. This paper addresses the problem of super resolution - obtaining a single high-resolution image given a set of low resolution images which are related by small displaceme...
168
click to vote
SP
1996
IEEE
15 years 11 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
201
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...
206
click to vote
IWPC
2005
IEEE
16 years 10 days ago
2005
IEEE
Comprehension is a key activity that underpins a variety of software maintenance and engineering tasks. The task of understanding object-oriented systems is hampered by the fact t...
197
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
A key challenge facing IT organizations today is their evolution towards adopting e-business practices that gives rise to the need for reengineering their underlying software syst...