5434 search results - page 842 / 1087 » Tool support for MOLA |
195
click to vote
AICT
2006
IEEE
16 years 18 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
170
click to vote
ASWEC
2006
IEEE
16 years 18 days 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...
169
click to vote
CBMS
2006
IEEE
16 years 18 days 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...
159
click to vote
CBMS
2006
IEEE
16 years 18 days 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...
191
click to vote
CSFW
2006
IEEE
16 years 18 days 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 ...