Sciweavers

120 search results - page 13 / 24
» Interpretation Beyond Markup
Sort
View
FUNGAMES
2008
13 years 8 months ago
Hypercomputation, Unconsciousness and Entertainment Technology
Recent developments in computer science introduce and discuss new concepts for computation beyond universal Turing machines. Quantum computing relates to new insights in quantum ph...
Matthias Rauterberg
LOGCOM
2002
124views more  LOGCOM 2002»
13 years 7 months ago
Modal Logics Between Propositional and First-order
One can add the machinery of relation symbols and terms to a propositional modal logic without adding quantifiers. Ordinarily this is no extension beyond the propositional. But if...
Melvin Fitting
SIGMOD
2001
ACM
95views Database» more  SIGMOD 2001»
14 years 7 months ago
Updating XML
As XML has developed over the past few years, its role has expanded beyond its original domain as a semantics-preserving markup language for online documents, and it is now also t...
Igor Tatarinov, Zachary G. Ives, Alon Y. Halevy, D...
FMSP
2000
ACM
177views Formal Methods» more  FMSP 2000»
13 years 11 months ago
DSD: A schema language for XML
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
Nils Klarlund, Anders Møller, Michael I. Sc...
MMMACNS
2010
Springer
13 years 5 months ago
Group-Centric Models for Secure and Agile Information Sharing
Abstract. To share information and retain control (share-but-protect) is a classic cyber security problem for which effective solutions continue to be elusive. Where the patterns o...
Ravi S. Sandhu, Ram Krishnan, Jianwei Niu, William...