5664 search results - page 868 / 1133 » Creativity support tools |
148
click to vote
ASWEC
2006
IEEE
15 years 11 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
142
click to vote
CBMS
2006
IEEE
15 years 11 months ago
2006
IEEE
Computer based clinical guidelines have been developed to help caregivers in practicing medicine. GLIF3 (Guideline Interchange Format 3) is one of several standards that specify t...
133
click to vote
CBMS
2006
IEEE
15 years 11 months ago
2006
IEEE
Medulator™, a commercial Web-based, variable response, patient simulation application, was modified to test the effect of case sequencing, explicit case comparison, and user-gen...
171
click to vote
CSFW
2006
IEEE
15 years 11 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
158
click to vote
DIAL
2006
IEEE
15 years 11 months ago
2006
IEEE
The availability of large, heterogeneous repositories of electronic documents is increasing rapidly, and the need for flexible, sophisticated document manipulation tools is growi...