2702 search results - page 269 / 541 » Practically Applicable Formal Methods |
115
Voted
COLING
1994
15 years 3 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...
115
Voted
CORR
2010
Springer
15 years 2 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...
133
Voted
INFORMATICALT
1998
15 years 2 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...
93
Voted
IJNSEC
2010
14 years 9 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...
141
Voted
CAV
2012
Springer
13 years 5 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...