4799 search results - page 589 / 960 » Model Based Requirements Engineering for Embedded Software |
182
click to vote
WICSA
2008
15 years 8 months ago
2008
Evolution is a permanent challenge in product line engineering. Reusable assets such as software components or documents evolve continuously due to new customer requirements or te...
170
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
160
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
203
click to vote
PAMI
2012
13 years 9 months ago
2012
— A novel framework to context modeling, based on the probability of co-occurrence of objects and scenes is proposed. The modeling is quite simple, and builds upon the availabili...
176
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....