5255 search results - page 914 / 1051 » Formal Methods for Privacy |
113
Voted
IFM
2007
Springer
15 years 10 months ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
153
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
156
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
116
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
145
click to vote
WER
2007
Springer
15 years 10 months ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...