1326 search results - page 186 / 266 » Semantic Coherence in Software Engineering |
129
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
151
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
148
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
136
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
129
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the BarwiseSeligman theory o...