101 search results - page 18 / 21 » Formal approach to security metrics.: what does |
110
click to vote
ICFCA
2004
Springer
15 years 6 months ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
77
Voted
OOPSLA
2005
Springer
15 years 6 months ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...
240
Voted
POPL
2006
ACM
16 years 26 days ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
124
click to vote
PET
2010
Springer
15 years 2 months ago
2010
Springer
Mobile smartphone users frequently need to search for nearby points of interest from a location based service, but in a way that preserves the privacy of the users' locations...
84
Voted
IJSN
2006
15 years 16 days ago
2006
: In order to conceal their identity and origin, network based intruders seldom attack directly from their own hosts, but rather stage their attacks through intermediate `stepping ...