Search Results - "Programming Tech- niques—Logic Programming General Terms Algorithms"

Policy expressivity in the Anzere personal cloud

Authors: Oriana Riva Qin Yin Dejan Juric et al.

Contributors: Oriana Riva Qin Yin Dejan Juric et al.

Source: http://people.inf.ethz.ch/troscoe/pubs/socc11-anzere.pdf.

Subject Terms: Categories and Subject Descriptors C.2.4 [Computer-Communication Networks, Dis- tributed Systems, D.1.6 [Software, Programming Tech- niques—Logic Programming General Terms Algorithms, Design, Experimentation Keywords Replication systems, overlay networks, cloud computing, mobile

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.1872

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.648.1872
http://people.inf.ethz.ch/troscoe/pubs/socc11-anzere.pdf

Annotated Probabilistic Temporal Logic.

Source: ACM Transactions on Computational Logic; Jan2011, Vol. 12 Issue 2, p14-14:44, 44p

Subject Terms: LOGIC programming, DISTRIBUTION (Probability theory), ARTIFICIAL intelligence, ALGORITHMS, LINEAR programming, COMPUTATIONAL complexity, SET theory, MATHEMATICAL formulas