596 search results - page 35 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
150
click to vote
MODELS
2009
Springer
16 years 16 days ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
165
click to vote
IESA
2007
15 years 7 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
140
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
174
click to vote
GRID
2000
Springer
15 years 9 months ago
2000
Springer
The creation of parameter study suites has recently become a more challenging problem as the parameter studies have become multi-tiered and the computational environment has becom...
197
click to vote
DAC
2010
ACM
15 years 9 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...