288 search results - page 48 / 58 » Correct Performance of Transaction Capabilities |
PVLDB
2010
13 years 6 months ago
2010
Applications typically have some local understanding of a database schema, a virtual database that may differ significantly from the actual schema of the data where it is stored...
ANTSW
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The engineering of grown systems poses fundamentally different system integration challenges than ordinary engineering of static designs. On the one hand, a grown system ...
ICCD
2005
IEEE
14 years 1 months ago
2005
IEEE
Nanoelectronic devices are expected to have extremely high and variable fault rates; thus future processor architectures based on these unreliable devices need to be built with fa...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
FORTE
1994
13 years 9 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...