1302 search results - page 140 / 261 » From Liveness to Promptness |
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
MM
2010
ACM
13 years 8 months ago
2010
ACM
: Gaze Awareness and Interaction Support in Presentations Kar-Han Tan, Dan Gelb, Ramin Samadani, Ian Robinson, Bruce Culbertson, John Apostolopoulos HP Laboratories HPL-2010-187 D...
BMCBI
2010
13 years 8 months ago
2010
Background: Phosphorylation events direct the flow of signals and metabolites along cellular protein networks. Current annotations of kinase-substrate binding events are far from ...
BMCBI
2008
13 years 8 months ago
2008
Background: Cell viability is one of the basic properties indicating the physiological state of the cell, thus, it has long been one of the major considerations in biotechnologica...
JSA
2008
13 years 8 months ago
2008
Nowadays, there are many protocols able to cope with process crashes, but, unfortunately, a process crash represents only a particular faulty behavior. Handling tougher failures (...