2 papers
cs.LO2011
Applying Algebraic Specifications on Digital Right Management Systems
Nikolaos Triantafyllou, Katerina Ksystra, Petros Stefaneas +1
Digital Right Management (DRM) Systems have been created to meet the need for digital content protection and distribution. In this paper we present some of the directions of our on…
cs.LO2011
An Algebraic Specification of the Semantic Web
Katerina Ksystra, Nikolaos Triantafyllou, Petros Stefaneas +1
We present a formal specification of the Semantic Web, as an extension of the World Wide Web using the well known algebraic specification language CafeOBJ. Our approach allows the…