Sciweavers

12373 search results - page 90 / 2475
» Semi-Logarithmic Number Systems
Sort
View
ISSRE
2002
IEEE
14 years 20 days 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»
13 years 7 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»
13 years 7 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»
13 years 7 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
13 years 5 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