Sciweavers

1236 search results - page 137 / 248
» The Problems of Data Modeling in Software Practice
Sort
View
PEPM
2010
ACM
16 years 29 days ago
Conditional weighted pushdown systems and applications
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
Xin Li, Mizuhito Ogawa
IPPS
1998
IEEE
15 years 8 months ago
Performance Prediction in Production Environments
Accurate performance predictions are difficult to achieve for parallel applications executing on production distributed systems. Conventional point-valued performance parameters a...
Jennifer M. Schopf, Francine Berman
PRL
2007
167views more  PRL 2007»
15 years 3 months ago
Calibration and removal of lateral chromatic aberration in images
This paper addresses the problem of compensating for lateral chromatic aberration in digital images through colour plane realignment. Two main contributions are made: the derivati...
John Mallon, Paul F. Whelan
PVLDB
2010
269views more  PVLDB 2010»
15 years 2 months ago
Shortest Path Computation on Air Indexes
Shortest path computation is one of the most common queries in location-based services that involve transportation networks. Motivated by scalability challenges faced in the mobil...
Georgios Kellaris, Kyriakos Mouratidis
CRYPTO
2006
Springer
224views Cryptology» more  CRYPTO 2006»
15 years 7 months ago
Anonymous Hierarchical Identity-Based Encryption (Without Random Oracles)
We present an identity-based cryptosystem that features fully anonymous ciphertexts and hierarchical key delegation. We give a proof of security in the standard model, based on the...
Xavier Boyen, Brent Waters