8132 search results - page 14 / 1627 » Dependability, Abstraction, and Programming |
CAV
2006
Springer
15 years 1 months ago
2006
Springer
We show how to find and fix faults in Boolean programs by extending the program to a game. In the game, the protagonist can select an alternative implementation for an incorrect st...
UM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper focuses on the utilization of the history of navigation within recommender systems. It aims at designing a collaborative recommender based on Markov models rel...
KI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
FPCA
1991
15 years 1 months ago
1991
Hannan. Making Abstract Machines Less Abstract . In Proc. of FPCA'91, LNCS 523, pages
ISAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Designing and programming dependable distributed applications is very difficult. Databases provide features like transactions and replication that can help in the impleme...