2688 search results - page 346 / 538 » A formal semantics for P3P |
181
click to vote
FSEN
2007
Springer
16 years 23 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
191
click to vote
ICLP
2007
Springer
16 years 22 days ago
2007
Springer
This paper describes the dlvhex SPARQL plugin, a query processor for the upcoming Semantic Web query language standard by W3C. We report on the implementation of this languages usi...
184
click to vote
LOPSTR
2007
Springer
16 years 22 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
186
click to vote
CBMS
2006
IEEE
16 years 20 days ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
189
click to vote
IHIS
2005
ACM
16 years 4 days ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...