5255 search results - page 219 / 1051 » Formal Methods for Privacy |
146
Voted
DSN
2008
IEEE
15 years 5 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
125
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the ...
107
Voted
SPW
2005
Springer
15 years 9 months ago
2005
Springer
We describe our work in progress aimed at implementing a multi-hat PDA. Our current prototype is based on SELinux and KDE and accepts a proximity token, in the form of a Bluetooth ...
118
click to vote
SAFECOMP
2001
Springer
15 years 8 months ago
2001
Springer
The paper reports on the experiences with implementation of IEC 61508 in recent projects with European, North American and Japanese system vendors. The paper describes problems id...
163
Voted
OOPSLA
1991
Springer
15 years 7 months ago
1991
Springer
PICASSOis a graphical user interface development environment built using the Common Lisp Object System (CLOS). This paper describes how CLOS features including multiple inheritanc...