1943 search results - page 211 / 389 » Ordering Default Theories |
194
click to vote
ASIACRYPT
2006
Springer
15 years 11 months ago
2006
Springer
We introduce KFC, a block cipher based on a three round Feistel scheme. Each of the three round functions has an SPN-like structure for which we can either compute or bound the adv...
164
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
160
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper investigates the use of ontologies in processes of collaborative learning and knowledge generation. The creation and use of ontologies is analysed from an acti...
200
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
Instruments and sensors are the primary sources of data driving science and the development and refinement of theory. A critical component of eresearch yet to be clarified is the ...
202
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...