2740 search results - page 345 / 548 » Typing the Specialization Interface |
158
click to vote
ASIACRYPT
2004
Springer
15 years 9 months ago
2004
Springer
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...
159
click to vote
CSCLP
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
147
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
The Knowledge Agent Mediation Language (KNAML) is designed for use in multi-agent reasoning systems. Like conceptual graphs, KNAML represents knowledge using concepts, relations, a...
136
click to vote
ISPA
2004
Springer
15 years 9 months ago
2004
Springer
Context-aware computing is a computing paradigm in which applications can take advantage of contextual information. Quality of network connection is a very important factor for mob...
135
click to vote
WEBDB
2004
Springer
15 years 9 months ago
2004
Springer
Among the various proposals answering the shortcomings of Document Type Definitions (DTDs), XML Schema is the most widely used. Although DTDs and XML Schema Defintions (XSDs) di...