5255 search results - page 368 / 1051 » Formal Methods for Privacy |
126
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
165
Voted
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
127
click to vote
MDAI
2007
Springer
15 years 11 months ago
2007
Springer
Formal concept analysis (FCA) is a method of exploratory data analysis. The data is in the form of a table describing relationship between objects (rows) and attributes (columns), ...
145
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
166
click to vote
ICFCA
2004
Springer
15 years 10 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...