9209 search results - page 1618 / 1842 » Data Space Randomization |
120
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
163
Voted
AUIC
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper reports work done as part of the Large Interactive Display Surface(LIDS) project at the University of Waikato. One application of the LIDS equipment is distributed meet...
129
Voted
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
On-chip communication design includes designing software (SW) parts (operating system, device drivers, interrupt service routines, etc.) as well as hardware (HW) parts (on-chip co...
134
Voted
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
118
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper provides descriptive research about a successful collaborative vision development process undertaken for a regional United Way. The entire process from learning about t...