2688 search results - page 303 / 538 » A formal semantics for P3P |
191
click to vote
IFM
2007
Springer
16 years 24 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
166
click to vote
SAMT
2007
Springer
16 years 23 days ago
2007
Springer
—Broadcasting of media events is a real-time action demanding reliable just in time decisions based on the current content of incoming video streams and the availability of backg...
179
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Design patterns are widely-used software engineering abstractions which define guidelines for modeling common application scenarios. Ontology design patterns are the ext...
158
click to vote
EDOC
2006
IEEE
16 years 22 days ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
157
click to vote
CSFW
2005
IEEE
16 years 8 days ago
2005
IEEE
Real computing systems sometimes need to forget sensitive information. This paper explores the specification and semantics of information erasure policies, which impose a strong,...