3815 search results - page 131 / 763 » An Implementation of Session Types |
JIRS
2007
13 years 8 months ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...
ACISICIS
2007
IEEE
14 years 2 months ago
2007
IEEE
ORN Additive is a prototype tool that was developed to show how the gap between database modeling and implementation can be reduced—more specifically, to show how associations d...
SIGECOM
2006
ACM
14 years 2 months ago
2006
ACM
While traditional mechanism design typically assumes isomorphism between the agents’ type- and action spaces, in many situations the agents face strict restrictions on their act...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
Since the remarkable work of Kocher [7], several papers considering different types of timing attacks have been published. In 2003, Brumley and Boneh presented a timing attack on...
ELPUB
2003
ACM
14 years 1 months ago
2003
ACM
Omnipaper (Smart Access to European Newspapers, IST-2001-32174) is a project from the European Commission IST program (Information Society Technologies) that investigates and prop...