3273 search results - page 186 / 655 » types 2007 |
153
click to vote
IEEEIAS
2007
IEEE
16 years 26 days ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
161
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
An important type of communication in grid and distributed computing environments is bulk data transfer. GridFTP has emerged as a de facto standard for secure, reliable, high-perf...
157
click to vote
ISCAS
2007
IEEE
16 years 25 days ago
2007
IEEE
— Simple Power Analysis (SPA) was applied to an RSA processor with a high-radix Montgomery multiplier on an FPGA platform, and the different characteristics of power waveforms ca...
155
click to vote
ROBOCOMM
2007
IEEE
16 years 25 days ago
2007
IEEE
—The vision of network robot systems involves robots embedded in smart environments, with which they can collaborate and communicate. In such systems, robots have access to many ...
126
click to vote
SCAM
2007
IEEE
16 years 25 days ago
2007
IEEE
In the current demonstration we present a new tool which increases the level of understanding and the accuracy of design quality assessment within enterprise systems. This is perf...