20066 search results - page 3739 / 4014 » T Spaces |
230
click to vote
APSEC
2002
IEEE
16 years 7 days ago
2002
IEEE
We have taught several distributed software engineering project courses with students and real clients [4]. During these projects, students in Pittsburgh and Munich, Germany colla...
237
click to vote
CSFW
2002
IEEE
16 years 7 days ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
211
click to vote
CSFW
2002
IEEE
16 years 7 days 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
CW
2002
IEEE
16 years 7 days ago
2002
IEEE
For sparse array operations, in general, the sparse arrays are compressed by some data compression schemes in order to obtain better performance. The Compressed Row/Column Storage...
189
click to vote
DATE
2002
IEEE
16 years 7 days ago
2002
IEEE
—The dynamic programmable logic array (PLA) style has become popular in designing high-performance microprocessors because of its high speed and predictable routing delay. Howeve...