1779 search results - page 302 / 356 » A Formal Model of Data Privacy |
134
click to vote
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
110
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming la...
141
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Recent advances in machine learning and adaptive motor control have enabled efficient techniques for online learning of stationary plant dynamics and it’s use for robust pre...
161
click to vote
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
We address the problem of computing approximate answers to continuous sliding-window joins over data streams when the available memory may be insufficient to keep the entire join...
129
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...