2688 search results - page 126 / 538 » A formal semantics for P3P |
175
click to vote
JSW
2007
15 years 6 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
190
click to vote
DSS
2002
15 years 6 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
196
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
151
click to vote
PODS
2006
ACM
16 years 6 months ago
2006
ACM
The query equivalence problem has been studied extensively for set-semantics and, more recently, for bag-set semantics. However, SQL queries often combine set and bag-set semantic...
166
click to vote
WISE
2008
Springer
16 years 24 days ago
2008
Springer
Nowadays many collaborative organizations require advanced semantic interoperability tools to enable cooperation and communication across distributed Web Information Systems (WIS)....