1326 search results - page 105 / 266 » Semantic Coherence in Software Engineering |
ETELEMED
2009
IEEE
14 years 2 months ago
2009
IEEE
- As scientific achievements in the area of Healthcare have increased during the last decade, inevitably there has been an increase of treatment quality. One of the challenges to b...
FSTTCS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
KBSE
2010
IEEE
13 years 8 months ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
WWW
2005
ACM
14 years 10 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
SEMWEB
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Ontologies are used for sharing information and are often collaboratively developed. They are adapted for different applications and domains resulting in multiple version...