550 search results - page 74 / 110 » Complementarity of Error Detection Techniques |
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear spe...
DFT
2005
IEEE
14 years 2 months ago
2005
IEEE
The present paper proposes a new method for detecting arbitrary faults in a functional circuit when the set of codewords is limited and known in advance. The method is based on im...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
MEMOCODE
2003
IEEE
14 years 2 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
NLPRS
2001
Springer
14 years 1 months ago
2001
Springer
This research focuses on analysis of the grammatical functions between an adnoun clause and a noun phrase in Korean. The key task is to determine the relation between two constitu...