5630 search results - page 4 / 1126 » Computability in Specification |
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
ASAP
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper introduces a powerful novel sequencer for controlling computational machines and for structured DMA (direct memory access) applications. It is mainly focused on applica...
ACL
2012
12 years 6 days ago
2012
In this paper, we propose a web-based bilingual concordancer, DOMCAT 1 , for domain-specific computer assisted translation. Given a multi-word expression as a query, the system in...
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
Mobile video processing as defined in standards like MPEG-4 and H.263 contains a number of timeconsuming computations that cannot be efficiently executed on current hardware archi...
HOST
2008
IEEE
14 years 4 months ago
2008
IEEE
