2688 search results - page 94 / 538 » A formal semantics for P3P |
CII
2008
13 years 7 months ago
2008
Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understa...
ENTCS
2006
13 years 7 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
SEMCO
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper is a theoretical analysis of formal annotation and ontology for the expression of the semantics of document. They are found wanting in this respect, not only for techni...
FMICS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
NAACL
2004
13 years 9 months ago
2004
We propose a theory that gives formal semantics to word-level alignments defined over parallel corpora. We use our theory to introduce a linear algorithm that can be used to deriv...