5664 search results - page 423 / 1133 » Creativity support tools |
197
click to vote
ACSD
2003
IEEE
15 years 10 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...
183
click to vote
CW
2005
IEEE
15 years 8 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...
172
click to vote
IMC
2007
ACM
15 years 8 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 ...
127
click to vote
CRIWG
2007
15 years 8 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...
186
click to vote
SE
2008
15 years 8 months ago
2008
: In this paper, we discuss one approach of automated test case generation from UML models and OCL expressions. We show how to use UML and OCL to support several coverage criteria....