Sciweavers

7690 search results - page 225 / 1538
» On the semantics of informational independence
Sort
View
IEEEIAS
2007
IEEE
16 years 25 days ago
Modeling Security Protocols as Games
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
Mohamed Saleh, Mourad Debbabi
ECOOP
2007
Springer
16 years 21 days ago
IDE-integrated Support for Schema Evolution in Object-Oriented Applications
When an application retrieves serialized objects for which the class has changed, it may have to cope with modifications of the semantics. While there are numerous ways to handle t...
Marco Piccioni, Manuel Oriol, Bertrand Meyer
ESWS
2007
Springer
16 years 21 days ago
The RDF Book Mashup: From Web APIs to a Web of Data
The RDF Book Mashup demonstrates how Web 2.0 data sources like Amazon, Google and Yahoo can be integrated into the Semantic Web. Following the principles of linked data, the RDF Bo...
Christian Bizer, Richard Cyganiak, Tobias Gauss
CAISE
2006
Springer
15 years 10 months ago
VisAVis: An Approach to an Intermediate Layer between Ontologies and Relational Database Contents
This paper introduces an approach to mapping relational database contents to ontologies. The current effort is motivated by the need of including into the Semantic Web volumes of w...
Nikolaos Konstantinou, Dimitrios-Emmanuel Spanos, ...
WRLA
2010
15 years 4 months ago
Multiset Rewriting: A Semantic Framework for Concurrency with Name Binding
Abstract. We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriti...
Fernando Rosa Velardo