Sciweavers

5639 search results - page 454 / 1128
» Timed Abstract Non-interference
Sort
View
CCGRID
2008
IEEE
15 years 6 months ago
Using Probabilistic Characterization to Reduce Runtime Faults in HPC Systems
Abstract--The current trend in high performance computing is to aggregate ever larger numbers of processing and interconnection elements in order to achieve desired levels of compu...
Jim M. Brandt, Bert J. Debusschere, Ann C. Gentile...
PERVASIVE
2010
Springer
15 years 6 months ago
Studying the Use and Utility of an Indoor Location Tracking System for Non-experts
Abstract. Indoor location tracking systems have been a major focus of ubiquitous computing research, and they have much promise to help in collecting objective, real time data for ...
Shwetak N. Patel, Julie A. Kientz, Sidhant Gupta
CONCUR
2008
Springer
15 years 6 months ago
Modeling Computational Security in Long-Lived Systems
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
ESA
2008
Springer
94views Algorithms» more  ESA 2008»
15 years 6 months ago
Relative Convex Hulls in Semi-dynamic Subdivisions
Abstract. We present data structures for maintaining the relative convex hull of a set of points (sites) in the presence of pairwise non-crossing line segments (barriers) that subd...
Mashhood Ishaque, Csaba D. Tóth
143
Voted
DAGSTUHL
2007
15 years 6 months ago
An analytic solution to the alibi query in the bead model for moving object data
Abstract. Moving objects produce trajectories, which are stored in databases by means of finite samples of time-stamped locations. When also speed limitations in these sample poin...
Bart Kuijpers, Walied Othman