Sciweavers

5639 search results - page 237 / 1128
» Timed Abstract Non-interference
Sort
View
SOCIALCOM
2010
15 years 1 months ago
A Private and Reliable Recommendation System for Social Networks
Abstract--With the proliferation of internet-based social networks into our lives, new mechanisms to control the release and use of personal data are required. As a step toward thi...
T. Ryan Hoens, Marina Blanton, Nitesh V. Chawla
WCET
2010
15 years 1 months ago
Toward Precise PLRU Cache Analysis
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, cache analysis is mandat...
Daniel Grund, Jan Reineke
BIOCOMP
2009
15 years 1 months ago
Simulating Spatial Partial Differential Equations with Cellular Automata
Abstract-- Spatial partial differential equations are commonly used to describe systems of biological entities, such as patterns created by desert vegetation and biovermiculation g...
Brian Strader, Keith E. Schubert, Ernesto Gomez, J...
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 1 months ago
Stochastic optimization for Markov modulated networks with application to delay constrained wireless scheduling
Abstract-- We consider a wireless system with a small number of delay constrained users and a larger number of users without delay constraints. We develop a scheduling algorithm th...
Michael J. Neely
CLEF
2009
Springer
15 years 1 months ago
UAIC at ImageCLEF 2009 Photo Annotation Task
Abstract. The present article describes the system used for the our first participation in the imageCLEF 2009 Photo Annotation task. For the image classification we used four compo...
Adrian Iftene, Loredana Vamanu, Cosmina Croitoru