Sciweavers

1068 search results - page 75 / 214
» Group Dominant Strategies
Sort
View
LORI
2009
Springer
15 years 10 months ago
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
Emiliano Lorini, François Schwarzentruber, ...
MSS
2000
IEEE
96views Hardware» more  MSS 2000»
15 years 10 months ago
APRIL: A Run-Time Library for Tape-Resident Data
Over the last decade, processors have made enormous gains in speed. But increase in the speed of the secondary and tertiary storage devices could not cope with these gains. The re...
Gokhan Memik, Mahmut T. Kandemir, Alok N. Choudhar...
MSS
1999
IEEE
115views Hardware» more  MSS 1999»
15 years 10 months ago
Managing Databases with Binary Large Objects
We present recommendations on Performance Management for databases supporting Binary Large Objects (BLOB) that, under a wide range of conditions, save both storage space and datab...
Michael Shapiro, Ethan L. Miller
ELPUB
2007
ACM
15 years 10 months ago
Centralized Content Portals: iTunes and the Publishing Industry
This paper addresses new questions around media performance as a result of the rise of centralized content portals such as iTunes or MySpace. We first describe the rise of central...
Matthijs Leendertse, Leo Pennings
APSEC
2004
IEEE
15 years 10 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu