77016 search results - page 453 / 15404 » Modeling Modeling |
179
click to vote
CAISE
2007
Springer
16 years 1 months ago
2007
Springer
Various efforts recently aimed at the development of quality metrics for process models. In this paper, we propose a new notion of coupling, which has been used successfully in so...
164
click to vote
UML
2005
Springer
16 years 10 days ago
2005
Springer
In the context of Model Driven Development, models play a central role. Since models can nowadays be executed, they are used not only for description but also for production [32][3...
162
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
147
click to vote
MMM
2009
Springer
16 years 3 months ago
2009
Springer
Object category recognition in various appearances is one of the most challenging task in the object recognition research fields. The major approach to solve the task is using the...
198
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...