1762 search results - page 150 / 353 » Brahms: simulating practice for work systems design |
172
click to vote
GROUP
2009
ACM
15 years 4 months ago
2009
ACM
Emergency management and planning often involves multiple domain experts with diverse knowledge backgrounds and responsibilities. Current practices in emergency management and pla...
181
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
159
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
147
click to vote
FCCM
2007
IEEE
16 years 21 days ago
2007
IEEE
This paper proposes optimizations of the methods and parameters used in both mathematical approximation and hardware design for logarithmic number system (LNS) arithmetic. First, ...
186
click to vote
ACSAC
2005
IEEE
16 years 9 hour ago
2005
IEEE
The Paranoid file system is an encrypted, secure, global file system with user managed access control. The system provides efficient peer-to-peer application transparent file ...