1636 search results - page 172 / 328 » Reasoning About Quantum Systems |
146
click to vote
COMPUTER
2004
15 years 6 months ago
2004
After thirty years of work on computer security, why are almost all the systems in service today extremely vulnerable to attack? The main reason is that security is expensive to s...
178
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
165
click to vote
TOPLAS
2010
15 years 4 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
174
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we discuss some of the lessons that we have learned working with the Hadoop and Sector/Sphere systems. Both of these systems are cloud-based systems designed to sup...
131
click to vote
FMCO
2007
Springer
16 years 17 days ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...