2957 search results - page 422 / 592 » Processing Self Corrections |
177
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...
190
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
185
click to vote
ITICSE
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes the development and use of practical examinations which include a significant element of software control of the administrative process. The educational metho...
185
click to vote
SPDP
1993
IEEE
15 years 10 months ago
1993
IEEE
We consider the problem of transforming a given sequential implementation of a data structure into a wait-free concurrent implementation. Given the code for different operations ...
164
click to vote
CICLING
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Automated language identification of written text is a wellestablished research domain that has received considerable attention in the past. By now, efficient and effecti...