Sciweavers

12373 search results - page 90 / 2475
» Semi-Logarithmic Number Systems
Sort
View
ISSRE
2002
IEEE
15 years 2 months ago
Optimal Allocation of Testing Resources for Modular Software Systems
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
Chin-Yu Huang, Jung-Hua Lo, Sy-Yen Kuo, Michael R....
DPD
2002
114views more  DPD 2002»
14 years 9 months ago
Query Decomposition for a Distributed Object-Oriented Mediator System
The mediator-wrapper approach to integrate data from heterogeneous data sources has usually been centralized in the sense that a single mediator system is placed between a number o...
Vanja Josifovski, Tore Risch
IGPL
2002
91views more  IGPL 2002»
14 years 9 months ago
The Unrestricted Combination of Temporal Logic Systems
This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness an...
Marcelo Finger, M. Angela Weiss
CORR
2007
Springer
117views Education» more  CORR 2007»
14 years 9 months ago
Non-atomic Games for Multi-User Systems
Abstract—In this contribution, the performance of a multiuser system is analyzed in the context of frequency selective fading channels. Using game theoretic tools, a useful frame...
Nicolas Bonneau, Mérouane Debbah, Eitan Alt...
INFOCOM
2010
IEEE
14 years 7 months ago
PriSense: Privacy-Preserving Data Aggregation in People-Centric Urban Sensing Systems
People-centric urban sensing is a new paradigm gaining popularity. A main obstacle to its widespread deployment and adoption are the privacy concerns of participating individuals. ...
Jing Shi, Rui Zhang, Yunzhong Liu, Yanchao Zhang