430 search results - page 56 / 86 » formats 2005 |
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
CSMR
2005
IEEE
15 years 5 months ago
2005
IEEE
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
100
click to vote
DFMA
2005
IEEE
15 years 5 months ago
2005
IEEE
Advances in networking and content delivery systems are enabling new challenging provisioning scenarios where a growing number of users access Video on Demand (VoD), possibly whil...
100
click to vote
DFMA
2005
IEEE
15 years 5 months ago
2005
IEEE
The Campus Mobile project explored how PDAs and innovative interfaces can improve interaction during lectures and in small meetings. These mobile computers (small PCs or PDAs) are...
ESCIENCE
2005
IEEE
15 years 5 months ago
2005
IEEE
By combining automatic environment sensing and experimental data collection with broker based messaging middleware, a system has been produced for the real-time monitoring of expe...