1446 search results - page 146 / 290 » Formal analysis of hardware requirements |
99
Voted
EPEW
2008
Springer
15 years 2 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
81
Voted
MKWI
2008
15 years 2 months ago
2008
: Along with the growth of Grid infrastructures, ubiquitous service provision and consumption has received wide attention in literature and practice. Although the number of availab...
121
Voted
DLOG
2003
15 years 2 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
ACS
2008
15 years 25 days ago
2008
Abstract Subobject transformation systems (sts) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pu...
84
Voted
ENTCS
2008
15 years 23 days ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...