2688 search results - page 362 / 538 » A formal semantics for P3P |
204
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
196
click to vote
AGTIVE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
172
click to vote
ECTEL
2007
Springer
2007
Springer
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
16 years 22 days ago
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
168
click to vote
ICDT
2007
ACM
16 years 22 days ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
148
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...