5434 search results - page 396 / 1087 » Tool support for MOLA |
196
click to vote
FM
2006
Springer
15 years 11 months ago
2006
Springer
Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In th...
211
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
We present the -Spaces framework, a tool designed to support every step of a security protocol's life cycle. Its Integrated Development Environment (IDE) eases the task of pr...
206
click to vote
CW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper explores the use of ARIS for Semantic Web Service development. It proposes an ARIS-based transformation methodology for the automatic specification and development of S...
188
click to vote
IMC
2007
ACM
15 years 9 months ago
2007
ACM
The Secure Socket Layer (SSL) and its variant, Transport Layer Security (TLS), are used toward ensuring server security. In this paper, we characterize the cryptographic strength ...
139
Voted
CRIWG
2007
15 years 9 months ago
2007
Abstract. In this article we present a conceptual analysis of the notion of learners’ selforganization in CSCL macro-scripts. We highlight that taking into account selforganizati...