4418 search results - page 432 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
213
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
183
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
184
click to vote
HIPC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The theory of bulk-synchronous parallel computing has produced a large number of attractive algorithms, which are provably optimal in some sense, but typically require th...
160
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper we present preliminary work implementing dynamic privacy in public surveillance. The aim is to maximise the privacy of those under surveillance, while giving an obse...
206
click to vote
TVCG
2012
13 years 9 months ago
2012
—Image population analysis is the class of statistical methods that plays a central role in understanding the development, evolution and disease of a population. However, these t...