Sciweavers

4007 search results - page 212 / 802
» Automotive Software Integration
Sort
View
VAMOS
2007
Springer
15 years 10 months ago
DecisionKing: A Flexible and Extensible Tool for Integrated Variability Modeling
Variability modeling is at the heart of product line engineering. Variability models entail features and architectural elements, technical customization aspects, sales and marketi...
Deepak Dhungana, Paul Grünbacher, Rick Rabise...
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 9 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
CAEPIA
2003
Springer
15 years 9 months ago
A Framework for Ontology Reuse and Persistence Integrating UML and Sesame
Nowadays there is a great effort underway to improve the World Wide Web. A better content organisation, allowing automatic processing, leading to the Semantic Web is one of the mai...
Carlos Pedrinaci, Amaia Bernaras, Tim Smithers, Je...
ICRA
2000
IEEE
101views Robotics» more  ICRA 2000»
15 years 8 months ago
Towards Programming Tools for Robots that Integrate Probabilistic Computation and Learning
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
Sebastian Thrun
IPPS
1998
IEEE
15 years 8 months ago
HOSMII: A Virtual Hardware Integrated with DRAM
WASMII, a virtual hardware system that executes data ow algorithms, is based on an MPLD, an extended FPGA with multiple sets of con guration SRAM. Although we have developed an emu...
Yuichiro Shibata, Hidenori Miyazaki, Xiao-ping Lin...