3996 search results - page 639 / 800 » A Publish |
176
click to vote
SKG
2006
IEEE
16 years 17 days ago
2006
IEEE
Web services (WS) have become a significant part of the Web because of such attractive features as simple to use, platform independence, and XML/SOAP support. However, these featu...
194
click to vote
SP
2006
IEEE
16 years 17 days ago
2006
IEEE
The Web browser has become the dominant interface to a broad range of applications, including online banking, Web-based email, digital media delivery, gaming, and ecommerce servic...
206
click to vote
ACMMSP
2006
ACM
16 years 16 days ago
2006
ACM
A blossoming paradigm for block-recursive matrix algorithms is presented that, at once, attains excellent performance measured by • time, • TLB misses, • L1 misses, • L2 m...
165
click to vote
ACMSE
2006
ACM
16 years 16 days ago
2006
ACM
Without physical boundaries, a wireless network faces many more security threats than a wired network does. Therefore, in the IEEE 802.16 standard a security sublayer is specified...
174
click to vote
APLAS
2006
ACM
16 years 16 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...