78 search results - page 13 / 16 » A logical reconstruction of SPKI |
ICAI
2004
13 years 8 months ago
2004
This paper shows how to generate an English step-by-step explanation that describes how an automated reasoning system solves a complex logic program. We limit our attention to pro...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
Limitation in display size and resolution on mobile devices is one of the main obstacles for wide-spread use of web applications in a wireless environment. Web pages are often too ...
XSYM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
ICPP
2007
IEEE
14 years 1 months ago
2007
IEEE
A self-organizing peer-to-peer system is built upon an application level overlay, whose topology is independent of underlying physical network. A well-routed message path in such ...
MMM
1996
Springer
13 years 11 months ago
1996
Springer
Multimedia information systems are based on the evolving capability of computers to handle diverse types of information. Their most important characteristic is the integration of ...