1926 search results - page 180 / 386 » Modeling and Model Checking Software Product Lines |
138
click to vote
JMM2
2007
15 years 6 months ago
2007
Abstract— In 2006, Gaurav Gupta and Josef Pieprzyk presented an attack on the branch-based software watermarking scheme proposed by Ginger Myles and Hongxia Jin in 2005. The softw...
152
click to vote
VCIP
2000
15 years 7 months ago
2000
This work presents a geometry based vision system for aircraft recognition and pose estimation using single images. Pose estimation improves the tracking performance of guided wea...
168
click to vote
JFR
2008
15 years 6 months ago
2008
A novel method for estimating vehicle roll, pitch and yaw using machine vision and inertial sensors is presented that is based on matching images captured from an on-vehicle camer...
191
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
199
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...