101 search results - page 5 / 21 » Formal approach to security metrics.: what does |
112
click to vote
AGENTS
2000
Springer
15 years 4 months ago
2000
Springer
This paper extends earlier work in the use of ‘Agent-based Computational Economics’ (ACE) for modelling the development of co-operation between firms. Inter-firm relations hav...
168
click to vote
SIGMOD
2006
ACM
16 years 21 days ago
2006
ACM
Limiting disclosure in data publishing requires a careful balance between privacy and utility. Information about individuals must not be revealed, but a dataset should still be us...
101
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is becoming much more complex. S...
112
Voted
ESORICS
2008
Springer
15 years 2 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
90
Voted
SCAM
2008
IEEE
15 years 7 months ago
2008
IEEE
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...