3742 search results - page 279 / 749 » On the Use of Formal Techniques for Validation |
193
click to vote
ICSOC
2010
Springer
15 years 5 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
188
click to vote
GAMESEC
2010
15 years 4 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
165
click to vote
CSMR
2007
IEEE
16 years 29 days ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
167
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we propose and develop a novel approach to the problem of optimally managing the tax, and more generally debt, collections processes at financial institutions. Our...
157
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
Faster defect localization is achieved by combining IC simulations and internal measurements. Time resolved photon emission records photons emitted during commutations (current) r...