135 search results - page 11 / 27 » GAF: Generic Adaptation Framework |
ICCAD
1994
IEEE
13 years 11 months ago
1994
IEEE
The reuse of well-tested and optimized design objects is an important aspect for decreasing design times, increasing design quality, and improving the predictability of designs. R...
FDL
2007
IEEE
13 years 11 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
TYPES
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
ICEIS
2002
IEEE
14 years 9 days ago
2002
IEEE
: Frameworks can be seen as generative since they are intended and well suited to be used as the foundation for the development of a number of applications in the domain captured b...
COLING
2010
13 years 2 months ago
2010
Position information has been proved to be very effective in document summarization, especially in generic summarization. Existing approaches mostly consider the information of se...