2702 search results - page 269 / 541 » Practically Applicable Formal Methods |
175
click to vote
COLING
1994
15 years 8 months ago
1994
: We demonstrate an approach and an accompanying UNIX toolbox for performing wtrious kinds of Knowledge tT,xlractions and Structuring. The goal is to "practically" enhanc...
165
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
: - In this paper we address two problems, for which we present novel, efficient, algorithmic solutions. The first problem is motivated by practical situations and is concerned wit...
177
click to vote
INFORMATICALT
1998
15 years 6 months ago
1998
Abstract. More real systems have many components and their simulation requires significant execution times. The practical needs have conducted to distributed simulation rather tha...
145
click to vote
IJNSEC
2010
15 years 1 months ago
2010
Orthomorphic permutations have important applications in the design of block ciphers. A practical algorithm is derived to generate all orthomorphic permutations over Fm 2 , and it...
195
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...