3388 search results - page 59 / 678 » Type-theoretic design patterns |
152
click to vote
KES
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
125
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. It is more convenient to talk about changes in a domainspecific way than to formulate them at the programming construct level or—even worse—purely lexical level. Usi...
131
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
The cross fertilization of methods and techniques between different subject areas in the undergraduate curriculum is a challenge, especially at the more advanced levels. This paper...
152
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
131
click to vote
AIME
2005
Springer
15 years 10 months ago
2005
Springer
It is by now widely accepted that medical guidelines can help to significantly improve the quality of medical care. Unfortunately, constructing the required medical guidelines is ...