3408 search results - page 173 / 682 » Logic, language, information and computation |
167
click to vote
PACT
2005
Springer
16 years 1 days ago
2005
Springer
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...
146
click to vote
ISMB
1994
15 years 7 months ago
1994
Restrictionmappinggenerallyrequires the applicationof information from various digestions by restriction enzymesto find solution sets. Weuse boththe predicate calculusandconstrain...
155
click to vote
FOSSACS
2005
Springer
16 years 2 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
191
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
298
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...