Sciweavers

PERVASIVE
2006
Springer
14 years 8 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
14 years 10 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