861 search results - page 130 / 173 » Internal implementation |
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
We have designed, implemented and evaluated a resource adaptive distributed information sharing system where automatic adjustments are made internally in our information sharing sy...
105
click to vote
AQUILEIA
2011
13 years 9 months ago
2011
Integrated use of multidisciplinary researches have been applied in the last years for the study of Aquileia archeological sites and, in particular the River Port structures. Since...
ASIACRYPT
2011
Springer
13 years 9 months ago
2011
Springer
ARMADILLO2 is the recommended variant of a multi-purpose cryptographic primitive dedicated to hardware which has been proposed by Badel et al. in [1]. In this paper we propose a me...
LICS
2012
IEEE
13 years 5 days ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
DOCENG
2007
ACM
15 years 1 months ago
2007
ACM
Genre, like layout, is an important factor in effective communication, and automated tools which assist in genre compliance are thus of considerable value. Genres are reusable met...