2688 search results - page 78 / 538 » A formal semantics for P3P |
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
ESWS
2010
Springer
13 years 11 months ago
2010
Springer
Service orientation is a promising paradigm for offering and consuming functionalities within and across organizations. Ever increasing acceptance of service oriented architecture...
ENTCS
2008
13 years 7 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
WOLLIC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...