741 search results - page 108 / 149 » SMILE - A Framework for Semantic Applications |
159
click to vote
IJCAI
2003
15 years 7 months ago
2003
Inconsistencies frequently occur in knowledge about the real-world. Some of these inconsistencies may be more significant than others, and some knowledgebases (sets of formulae) m...
203
click to vote
WOA
2007
15 years 7 months ago
2007
— Industry is more and more interested in executing business functions that span multiple applications. This demands high-levels of interoperability and a more flexible and adapt...
182
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
143
click to vote
JLP
2007
15 years 6 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
145
click to vote
CLEIEJ
2010
15 years 3 months ago
2010
In order to customize their behavior at runtime, a wide sort of modern frameworks do use code annotations at the applications classes as metadata configuration. However, despite i...