2797 search results - page 341 / 560 » Code query by example |
110
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
143
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
127
Voted
ICCSA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We consider the solution of a (generalized) eigenvalue problem arising in physical oceanography that involves the evaluation of both the tangent-linear and adjoint versio...
104
click to vote
DANCE
2002
IEEE
15 years 9 months ago
2002
IEEE
Active networking is a powerful technology to insert new functionality into the networking. In this paper we look at how active networking technology can be used to customize netw...
106
click to vote
DSD
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we propose an approach to the reduction of sizes of Multi-Terminal Binary Decision Diagrams (MTBDDs) [3] by using the copy properties of discrete functions. The und...