6800 search results - page 707 / 1360 » Testing with Functions as Specifications |
209
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
211
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we introduce an extension of the PARADIGMA (PARticipative Approach to DIsease Global Management) approach to take into account the home healthcare assistanc...
185
click to vote
CBMS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents an extensible schema for capturing laboratory gene variance data with its meta-data properties in a semi-structured environment. This paper also focuses on the...
209
click to vote
DFT
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper addresses a new threat to the security of integrated circuits (ICs). The migration of IC fabrication to untrusted foundries has made ICs vulnerable to malicious alterat...
164
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile...