6274 search results - page 964 / 1255 » Proofs, Programs, Processes |
118
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
We have built a system for protecting Internet services to securely connected, known users. It implements a generate-and-test approach for on-line attack identification and uses s...
116
click to vote
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a process for the semi-automatic conversion of numerical and scientific routines written in the C programming language into Triana-based computational servic...
138
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
122
click to vote
SIGUCCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper intends to present the challenges and opportunities encountered in technology training at small institutions using Trinity University as a case in point. During the cou...
131
click to vote
SOFTVIS
2003
ACM
15 years 8 months ago
2003
ACM
UML diagrams have become increasingly important in the engineering and reengineering processes for software systems. Of particular interest are UML class diagrams whose purpose is...