5900 search results - page 165 / 1180 » Dependable Systems |
120
click to vote
JOT
2007
15 years 4 months ago
2007
In this paper, we introduce and describe directed dependency graph-based transaction and concurrency control (DCC) for persistent (stable, single-level) object-based bulk data man...
145
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
142
click to vote
ICECCS
2000
IEEE
15 years 9 months ago
2000
IEEE
Complexity arises from many sources – both within and outwith the system. Internal sources include modern hardware, e.g. super-scalar processors, and external sources include th...
169
Voted
ICFCA
2005
Springer
15 years 10 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
146
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
Using ubiquitous devices such as multifunctional cellular phones and PDAs, we can build a large-scale navigation system for evacuation in the metropolis. Although current navigati...