2918 search results - page 207 / 584 » Design tools for reliability analysis |
136
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
158
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
122
click to vote
ICAIL
2007
ACM
15 years 6 months ago
2007
ACM
This paper describes the philosophy behind our tool called “Legal Taxonomy Syllabus”, the analytical instruments it provides and some case studies. The Legal Taxonomy Syllabus...
221
click to vote
ACMIDC
2011
14 years 8 months ago
2011
Explicitly examining the values held by a research community provides a tool in which participants can define its culture, conduct informed research, and reflect on their design p...
155
click to vote
TVCG
2012
13 years 6 months ago
2012
—This paper presents a 2D flow visualization user study that we conducted using new methodologies to increase the objectiveness. We evaluated grid-based variable-size arrows, eve...