2940 search results - page 521 / 588 » Relational Parametricity and Control |
SCP
1998
14 years 9 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
FUIN
2008
14 years 8 months ago
2008
Causal relations are present in many application domains. Causal Probabilistic Logic (CP-logic) is a probabilistic modeling language that is especially designed to express such rel...
JOCN
2010
14 years 8 months ago
2010
■ Distraction and reappraisal are two commonly used forms of cognitive emotion regulation. Functional neuroimaging studies have shown that each one depends upon interactions bet...
MMS
2010
14 years 8 months ago
2010
Ubimedia is a concept where media files are embedded in everyday objects and the environment. We propose an approach where the user can read and write these files with his/her pe...
128
click to vote
REPLICATION
2010
14 years 8 months ago
2010
In this chapter, we discuss a widely used fault-tolerant data replication model called virtual synchrony. The model responds to two kinds of needs. First, there is the practical qu...