3706 search results - page 501 / 742 » The Transformational Approach to Program Development |
156
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Axiom pinpointing has been introduced in description logics (DL) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base th...
113
click to vote
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
Unlike other diversity-based approaches, N-variant systems thwart attacks without requiring secrets. Instead, they use redundancy (to require an attacker to simultaneously comprom...
164
click to vote
ASIAMS
2007
IEEE
15 years 11 months ago
2007
IEEE
Composability, the capability to select and assemble offthe-shelf model components in various combinations to satisfy user requirements, is an appealing approach in reducing the t...
144
click to vote
ECML
2005
Springer
15 years 10 months ago
2005
Springer
We present a method for transferring knowledge learned in one task to a related task. Our problem solvers employ reinforcement learning to acquire a model for one task. We then tra...
144
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Design patterns embody proven solutions to recurring design problems. Ever since the gang of four popularized the concept, researchers have been trying to develop methods for repre...