110 search results - page 1 / 22 » A Process Algebra for Reasoning About Quantum Security |
ENTCS
2007
13 years 5 months ago
2007
AAAI
1996
13 years 6 months ago
1996
TIME
1994
IEEE
13 years 9 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
IFIPTM
2010
13 years 4 months ago
2010
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...
IJCAI
2003
13 years 6 months ago
2003
In many applications of temporal reasoning we are in terested in reasoning incrementally In particular, given a CSP of temporal constrains and a new constraint, we want to maint...