2610 search results - page 285 / 522 » Computational Probabilistic Non-interference |
142
click to vote
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper compares and illustrates the use of manually and automatically assigned descriptors on German documents extracted from the GIRT Corpus. A second objective is to analy...
123
Voted
ICARCV
2008
IEEE
15 years 10 months ago
2008
IEEE
—In order to navigate safely, it is important to detect and to react to a potentially dangerous situation. Such a situation can be underlined by a judicious use of the locations ...
126
Voted
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...
132
click to vote
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
Heuristic algorithms have enjoyed increasing interests and success in the context of Utility Accrual (UA) scheduling. However, few analytical results, such as bounds on task-level...
141
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...