4209 search results - page 278 / 842 » Abstract Dialectical Frameworks |
192
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
212
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
285
click to vote
VLDB
2003
ACM
16 years 6 months ago
2003
ACM
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
161
click to vote
ICIAP
2005
ACM
16 years 6 months ago
2005
ACM
Abstract. Application and development of specialized machine learning techniques is gaining increasing attention in the intrusion detection community. A variety of learning techniq...
132
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Program inversion has many applications such as in the implementation of serialization/deserialization and in providing support for redo/undo, and has been studied by man...