Sciweavers

75 search results - page 3 / 15
» A Survey and Comparison of Some Research Areas Relevant to S...
Sort
View
EDOC
2007
IEEE
14 years 3 days ago
Survey of Traceability Approaches in Model-Driven Engineering
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...
Ismênia Galvão, Arda Goknil
DICS
2006
13 years 7 months ago
Dependable Software
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...
Bertrand Meyer
BPM
2006
Springer
206views Business» more  BPM 2006»
13 years 9 months ago
A Discourse on Complexity of Process Models
Complexity has undesirable effects on, among others, the correctness, maintainability, and understandability of business process models. Yet, measuring complexity of business proce...
Jorge Cardoso, Jan Mendling, Gustaf Neumann, Hajo ...
TASE
2008
IEEE
13 years 5 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen
TVCG
2011
109views more  TVCG 2011»
13 years 4 days ago
A Perception Correlated Comparison Method for Dynamic Meshes
—There are multiple areas of computer graphics where triangular meshes are being altered in order to reduce their size or complexity, while attempting to preserve the original sh...
Libor Vása, Václav Skala