Sciweavers

2638 search results - page 318 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
CHI
2011
ACM
14 years 10 months ago
Designing sports: a framework for exertion games
Exertion games require investing physical effort. The fact that such games can support physical health is tempered by our limited understanding of how to design for engaging exert...
Florian Mueller, Darren Edge, Frank Vetere, Martin...
DEBU
2006
142views more  DEBU 2006»
15 years 6 months ago
Automated Storage Management with QoS Guarantee in Large-scale Virtualized Storage Systems
Storage virtualization in modern storage systems allows variability in the number of "physical" disks supporting a single "virtual" disk. In practice, IO workl...
Lin Qiao, Balakrishna R. Iyer, Divyakant Agrawal, ...
SAC
2009
ACM
16 years 1 months ago
A personalized framework for trust assessment
The number of computational trust models has been increasing rapidly in recent years, yet their applications for automating trust evaluation are still limited. The main obstacle i...
Trung Dong Huynh
DEON
2010
Springer
15 years 9 months ago
A Logical Model of Private International Law
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
Phan Minh Dung, Giovanni Sartor
WWW
2004
ACM
16 years 7 months ago
The webgraph framework I: compression techniques
Studying Web graphs is often difficult due to their large size. Recently, several proposals have been published about various techniques that allow to store a Web graph in memory ...
Paolo Boldi, Sebastiano Vigna