3229 search results - page 340 / 646 » Theories with the Independence Property |
151
Voted
SEMWEB
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we describe RDFSync, a methodology for efficient synchronization and merging of RDF models. RDFSync is based on decomposing a model into Minimum Self-Contained graphs...
177
click to vote
TARK
2007
Springer
16 years 26 days ago
2007
Springer
In this paper is we apply insights from mechanism design to the design of agent interaction protocols. We show how this allows us a more flexible approach to the design of agent ...
173
click to vote
ASWEC
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
143
click to vote
ECBS
2006
IEEE
16 years 25 days ago
2006
IEEE
Refactoring of software systems represents an fundamental way of improving their quality properties. Large-scale refactoring has to be performed at an architectural level to execu...
144
click to vote
GLOBECOM
2006
IEEE
16 years 25 days ago
2006
IEEE
— There has been a significant amount of work analyzing the Internet AS (Autonomous System)-level topology which gives rise to a number of topology models. Although each of thes...