2335 search results - page 411 / 467 » Type Checking Type Classes |
AI
2010
Springer
13 years 9 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
JWE
2006
13 years 8 months ago
2006
In the light of the existing literature on the issue of cross-cultural interface design, we carried out a smallscale study in order to check whether we could find cultural differe...
RAID
2010
Springer
13 years 7 months ago
2010
Springer
Dynamic kernel memory has been a popular target of recent kernel malware due to the difficulty of determining the status of volatile dynamic kernel objects. Some existing approach...
TAICPART
2010
IEEE
13 years 7 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
SIES
2010
IEEE
13 years 6 months ago
2010
IEEE
The aim of this paper is to introduce LinCAN, a CAN driver system for Linux, developed at the Department of Control Engineering of the Czech Technical University in Prague, and to ...