8266 search results - page 1276 / 1654 » Information About the Journal |
183
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose an approach to support confidentiality for mobile implementations of security-sensitive protocols using Java/JVM. An applet which receives and passes on confidential in...
162
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
The need for descriptive information, i.e., metadata, about Web resources has been recognized in several application contexts (e.g., digital libraries, portals). The Resource Descr...
187
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
The RePEc Economics library offers the largest distributed source of freely downloadable scientific research reports in the world. RePEc also contains details about Economics inst...
193
click to vote
EWCBR
2000
Springer
15 years 10 months ago
2000
Springer
Many of today's CBR systems are passive in nature: they require human users to activate them manually and to provide information about the incoming problem explicitly. In this...
181
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...