13109 search results - page 142 / 2622 » The design and implementation of AspectC |
182
click to vote
CAINE
2003
15 years 7 months ago
2003
Most security protocols share a similar set of algorithms and functions and exhibit common sequences and patterns in the way they operate. These observations led us to propose a u...
154
click to vote
WOA
2003
15 years 7 months ago
2003
— The aim of this paper is to focus on the issues connected with the diagrammatic notations and tools, which should support developers when moving from the design phase towards t...
213
click to vote
CSREASAM
2009
15 years 7 months ago
2009
Tantra 1 is a novel Pseudorandom number generator (PRNG) design that provides a long sequence high quality pseudorandom numbers at very high rate both in software and hardware impl...
128
click to vote
IADIS
2008
15 years 8 months ago
2008
This paper presents the pilot implementation of the EIT (English for Information Technology) E-Learning Portal. The portal provides on-line e-learning material for English learnin...
132
click to vote
CJ
2010
15 years 6 months ago
2010
rder logic (HOL) theorem prover. The high ability of abstraction in the HOL verification system allows its use for the verification task over the whole design path of the circuit, ...