1779 search results - page 275 / 356 » A Formal Model of Data Privacy |
135
click to vote
SRDS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we investigate dependability issues of nextgeneration distributed multimedia applications. Examples of such applications are autonomous vehicle control, telemedicine...
146
click to vote
FOAL
2009
ACM
15 years 10 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
142
click to vote
ISMAR
2006
IEEE
15 years 10 months ago
2006
IEEE
With tracking setups becoming increasingly complex, it gets more difficult to find suitable algorithms for tracking, calibration and sensor fusion. A large number of solutions e...
110
click to vote
BPM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...
129
click to vote
HVC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...