2688 search results - page 53 / 538 » A formal semantics for P3P |
EWSA
2004
Springer
14 years 1 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
ICISS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We present a declarative language with a formal semantics for specifying both users' privacy preferences and services' privacy policies. Expressiveness and appl...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
COLING
2008
13 years 9 months ago
2008
We introduce a novel semantic representation formalism, Almost Flat Functional semantics (AFF), which is designed as an intelligent compromise between linguistically motivated pre...