Sciweavers

2473 search results - page 160 / 495
» Systems, Views and Models of UML
Sort
View
172
Voted
3DPVT
2006
IEEE
171views Visualization» more  3DPVT 2006»
16 years 1 months ago
Image Based Localization in Urban Environments
In this paper we present a prototype system for image based localization in urban environments. Given a database of views of city street scenes tagged by GPS locations, the system...
Wei Zhang, Jana Kosecka
213
Voted
DATE
2010
IEEE
183views Hardware» more  DATE 2010»
15 years 5 months ago
Toward optimized code generation through model-based optimization
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
Asma Charfi, Chokri Mraidha, Sébastien G&ea...
ISVLSI
2006
IEEE
89views VLSI» more  ISVLSI 2006»
16 years 29 days ago
System Exploration of SystemC Designs
Due to increasing design complexity new methodologies for system modeling have been established in VLSI CAD. The SystemC methodology gains a significant reduction of design cycle...
Christian Genz, Rolf Drechsler
WISA
2007
Springer
16 years 1 months ago
A Compositional Multiple Policies Operating System Security Model
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
Lei Xia, Wei Huang, Hao Huang
173
Voted
FIW
2007
15 years 8 months ago
Model Inference Approach for Detecting Feature Interactions in Integrated Systems
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
Muzammil Shahbaz, Benoît Parreaux, Francis K...