1779 search results - page 108 / 356 » A Formal Model of Data Privacy |
145
click to vote
AFP
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
135
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
128
click to vote
MUE
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, a generalized multimedia database data model based on MPEG-7 named G3M is proposed and formally defined. Different from those XML Database Management System (DBMS) ...
179
click to vote
ISPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
115
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: Information integration requires manipulating data and metadata in ways that in general go beyond a single existing transformation formalism. As a result, a complete source-to-ta...