1097 search results - page 154 / 220 » Revision Programming = Logic Programming Integrity Constra... |
131
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
132
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
133
click to vote
ICAIL
2009
ACM
15 years 9 months ago
2009
ACM
Automatic Decision Support Systems (DSS) are widely adopted for screening purposes in socially sensitive tasks, including access to credit, mortgage, insurance, labor market and o...
136
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
122
click to vote
JGAA
2007
15 years 3 months ago
2007
Image segmentation with specific constraints has found applications in several areas such as biomedical image analysis and data mining. In this paper, we study the problem of sim...