5639 search results - page 183 / 1128 » Timed Abstract Non-interference |
108
click to vote
CONCUR
2003
Springer
15 years 7 months ago
2003
Springer
d Abstract) Christel Baier1 , Holger Hermanns2,3 , Joost-Pieter Katoen2 , and Verena Wolf1 1 Institut f¨ur Informatik I, University of Bonn R¨omerstraße 164, D-53117 Bonn, Germa...
101
click to vote
ECOOPW
2003
Springer
15 years 7 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
110
click to vote
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract—Many applications require continuous monitoring of a moving target by a controllable vision system. Although the goal of tracking objects is not new, traditional techniq...
118
click to vote
CBSE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The usage of components brings significant help in development of real-time embedded systems. There have been a number of component frameworks developed for this purpose...
121
click to vote
ICIAR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Stereo cameras, laser rangers and other time-of-flight ranging devices are utilized with increasing frequency as they can provide information in the 3D plane. The abilit...