3885 search results - page 99 / 777 » Transformations for Write-All-with-Collision Model |
ESWS
2009
Springer
14 years 3 months ago
2009
Springer
As social networks are becoming ubiquitous on the Web, the Semantic Web goals indicate that it is critical to have a standard model allowing exchange, interoperability, transformat...
WDAG
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper studies the impact of omission failures on asynchronous distributed systems with crash-stop failures. We provide two different transformations for algorithms,...
SACMAT
2006
ACM
14 years 3 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
DAWAK
2005
Springer
14 years 2 months ago
2005
Springer
In heterogeneous data warehousing environments, autonomous data sources are integrated into a materialized integrated database. The schemas of the data sources and the integrated ...
ICALP
2000
Springer
14 years 20 days ago
2000
Springer
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...