840 search results - page 157 / 168 » Universal Metadata Standard |
ICEIS
2000
IEEE
14 years 5 days ago
2000
IEEE
We understand distributed systems as a collection of distributed computation resources that work together as one harmonious system. It is the great achievement of computer network...
NDSS
2000
IEEE
14 years 5 days ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
ELPUB
2000
ACM
14 years 4 days ago
2000
ACM
Electronic publishing, and in particular Web-based publishing, has assumed an increasing importance in higher education. The possibility of delivering learning material to students...
POPL
1999
ACM
14 years 3 days ago
1999
ACM
An increasing number of systems rely on programming language technology to ensure safety and security of low-level code. Unfortunately, these systems typically rely on a complex, ...
EUROCOLT
1997
Springer
13 years 12 months ago
1997
Springer
Most of the work on the Vapnik-Chervonenkis dimension of neural networks has been focused on feedforward networks. However, recurrent networks are also widely used in learning app...