2488 search results - page 366 / 498 » An improvement in formal verification |
122
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
MEMOCODE
2007
IEEE
15 years 7 months ago
2007
IEEE
—With the arrival of nanometer technologies wire delays are no longer negligible with respect to gate delays, and timing-closure becomes a major challenge to System-on-Chip desig...
114
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
121
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
146
Voted
SAMT
2007
Springer
15 years 7 months ago
2007
Springer
Performing simple keyword-based search has long been the only way to access information. But for a truly comprehensive search on multimedia data, this approach is no longer su cien...