782 search results - page 140 / 157 » Can a Parser be Generated from Examples |
135
click to vote
ICMCS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes a musical instrument consisting of a physical process that acoustically generates sound from the material world (i.e. sound derived from matter such as solid,...
141
Voted
SACRYPT
2005
Springer
15 years 9 months ago
2005
Springer
The ability to link two different sightings of the same Radio Frequency Identification (RFID) tag enables invasions of privacy. The problem is aggravated when an item, and the ta...
121
Voted
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
160
Voted
CASCON
1992
15 years 4 months ago
1992
Metaprogramming is the process of specifying generic software source templates from which classes of software components, or parts thereof, can be automatically instantiated to pr...
133
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...