3634 search results - page 385 / 727 » The Field Representation Language |
168
click to vote
ICFCA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
154
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
We analyze an algebraic representation of AES–128 as an embedding in BES, due to Murphy and Robshaw. We present two systems of equations S and K concerning encryption and key gen...
166
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
Several efficient compilation techniques have been recently proposed for the generation of sequential (C) code from Esterel programs. Consisting essentially in direct simulation ...
210
Voted
WORDS
2003
IEEE
15 years 12 months ago
2003
IEEE
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
165
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...