2702 search results - page 193 / 541 » Practically Applicable Formal Methods |
71
Voted
DBKDA
2009
IEEE
15 years 2 months ago
2009
IEEE
Software systems in health care, such as disease and medical-record management, or financial applications, such as customer relationship and portfolio management, have very often...
183
Voted
ICDE
1998
IEEE
16 years 8 days ago
1998
IEEE
Discovery of functionaldependencies from relations has been identified as an important database analysis technique. In this paper, we present a new approach for finding functional...
99
Voted
SASN
2005
ACM
15 years 4 months ago
2005
ACM
Many emerging applications in both wired and wireless networks, such as information dissemination and distributed collaboration in an adversarial environment, need support of secu...
118
click to vote
TMI
2011
14 years 5 months ago
2011
Abstract—Many practical applications require the reconstruction of images from irregularly sampled data. The spline formalism offers an attractive framework for solving this prob...
96
Voted
FOCM
2011
14 years 2 months ago
2011
This paper considers large-scale simulations of wave propagation phenomena. We argue that it is possible to accurately compute a wavefield by decomposing it onto a largely incomp...