Sciweavers

PERVASIVE
2006
Springer
13 years 4 months ago
Scalability in a Secure Distributed Proof System
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
Kazuhiro Minami, David Kotz
DIWEB
2001
13 years 6 months ago
Integration of XML Data in XPathLog
XPathLog is a logic-based language for manipulating and integrating XML data. It extends the XPath query language with Prolog-style variables. Due to the close relationship with X...
Wolfgang May