637 search results - page 73 / 128 » Inconsistency-Tolerant Integrity Checking |
113
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
132
click to vote
IEEEARES
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a P2P filesharing system that allows redundant storage of shared files in a way that no participating server ever stores data that could compromise its operator. Inst...
143
click to vote
ADVIS
2006
Springer
15 years 8 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
110
click to vote
IEEESCC
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...