410 search results - page 26 / 82 » Making norms concrete |
ACNS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper describes a method to convert stateless key revocation schemes based on the subset cover principle into stateful schemes. The main motivation is to reduce the ...
MKM
2005
Springer
14 years 1 months ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
ROBOCUP
2005
Springer
14 years 1 months ago
2005
Springer
Keepaway soccer has been previously put forth as a testbed for machine learning. Although multiple researchers have used it successfully for machine learning experiments, doing so ...
WAIM
2005
Springer
14 years 1 months ago
2005
Springer
Unlike Internet portals, a typical Web Information System contains lots of user operations. However, existing Web design frameworks focus exclusively on data presentation: the proc...
ADC
2004
Springer
14 years 29 days ago
2004
Springer
Web search engines crawl the web to fetch the data that they index. In this paper we re-examine that need, and evaluate the network costs associated with data acquisition, and alt...