2702 search results - page 288 / 541 » Practically Applicable Formal Methods |
156
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We propose a dynamic process for network evolution, aiming at explaining the emergence of the small world phenomenon, i.e., the statistical observation that any pair of i...
105
click to vote
CCE
2006
15 years 2 months ago
2006
Informatics infrastructure plays a crucial role in supporting different decision making activities related to pharmaceutical product development, pilot plant and commercial scale ...
123
Voted
PVLDB
2010
15 years 1 months ago
2010
The recent literature has provided a solid theoretical foundation for the use of schema mappings in data-exchange applications. Following this formalization, new algorithms have b...
122
Voted
COMPSEC
2010
15 years 29 days ago
2010
In this paper we address the problem of reducing the role mining complexity in RBAC systems. To this aim, we propose a three steps methodology: first, we associate a weight to rol...
146
Voted
SICHERHEIT
2010
15 years 15 days ago
2010
: This paper presents a fuzzy set based decision support model for taking uncertainty into account when making security investment decisions for distributed systems. The proposed m...