260 search results - page 40 / 52 » A Semantics for Concurrent Separation Logic |
77
Voted
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
94
Voted
VVEIS
2007
15 years 24 days ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
102
Voted
COOPIS
2003
IEEE
15 years 5 months ago
2003
IEEE
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Web’s distributed nature mak...
109
click to vote
PVLDB
2008
14 years 11 months ago
2008
Despite the intense interest towards realizing the Semantic Web vision, most existing RDF data management schemes are constrained in terms of efficiency and scalability. Still, th...