3954 search results - page 84 / 791 » Image-based Model Completion |
144
click to vote
APCCM
2008
15 years 6 months ago
2008
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
109
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
130
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
: It has always been assumed that fault models in memories are sufficiently precise for specifying the faulty behavior. This means that, given a fault model, it should be possible...
153
click to vote
ISSADS
2005
Springer
15 years 10 months ago
2005
Springer
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...
147
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In the field of access control, delegation is an important aspect that is considered as a part of the administration mechanism. Thus, a complete access control must provide a flex...