5639 search results - page 58 / 1128 » Timed Abstract Non-interference |
121
click to vote
IVS
2008
15 years 2 months ago
2008
is a powerful abstraction used by intelligence analysts to conceptualize threats and understand patterns as part of the analytical process. This paper demonstrates a system that d...
115
click to vote
ISORC
2009
IEEE
15 years 9 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
126
Voted
ISORC
2008
IEEE
15 years 9 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
108
Voted
EDM
2008
15 years 4 months ago
2008
Students can use an educational system's help in unexpected r example, they may bypass abstract hints in search of a concrete solution. This behavior has traditionally been la...
140
Voted
ICPR
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Nearest Neighbour search is a widely used technique in Pattern Recognition. In order to speed up the search many indexing techniques have been proposed. However, most of...