214 search results - page 24 / 43 » Optimisation of Terminological Reasoning |
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Current research in software engineering at Karlstad University is concentrated on non-formal software design methods with a focus on semantics. One goal is to produce methods, wh...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
The lack of a common language and mutual understanding between the disciplines of systems development/software engineering and HCI does create challenges for both teaching and pra...
ER
2007
Springer
14 years 2 months ago
2007
Springer
Representation and reasoning about information system (IS) requirements is facilitated with the use of goal models to describe the desired and undesired IS behaviors. One difficul...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. As the Semantic Web emerges the problem of semantic heterogeneity is becoming more acute. Ontology matching techniques aim at tackling this problem by establishing corres...
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...