21094 search results - page 18 / 4219 » An experiment using DLV-K |
87
Voted
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
15 years 7 months ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
WILF
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we present some results obtained in humour classification over a corpus of Italian quotations manually extracted and tagged from the Wikiquote project. The experimen...
87
Voted
LCPC
2004
Springer
15 years 6 months ago
2004
Springer
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ago, it has grown to over 12,000 lines of Java code, b...
140
click to vote
GROUP
2003
ACM
15 years 6 months ago
2003
ACM
In this paper we present the experiences of usage of Viras, a collaborative virtual environment for social awareness support in educational settings. Collaborative Virtual environ...
EJIVP
2010
14 years 7 months ago
2010
The purpose of the experiment described herein is the study of material deformation (here a cylinder) induced by explosives. During its expansion, the cylinder (initially 3 mm thi...