3229 search results - page 340 / 646 » Theories with the Independence Property |
175
Voted
SEMWEB
2007
Springer
16 years 1 months 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...
204
click to vote
TARK
2007
Springer
16 years 1 months 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 ...
185
click to vote
ASWEC
2006
IEEE
16 years 1 months 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...
157
click to vote
ECBS
2006
IEEE
16 years 1 months 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...
173
click to vote
GLOBECOM
2006
IEEE
16 years 1 months 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...