2186 search results - page 59 / 438 » Model Transformation Technologies in the Context of Modellin... |
PAMI
2012
11 years 10 months ago
2012
—There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. A context mod...
IASTEDSEA
2004
13 years 9 months ago
2004
OpenCOM v2 is our experimental language-independent component-based systems-building technology. OpenCOM offers more than merely a component-based programming model. First, it is ...
DATE
2010
IEEE
14 years 22 days ago
2010
IEEE
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
AH
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper, we present the system "DAWN" (direction anticipation in web navigation) that helps users to navigate through the world wide web. Firstly, the pur...