754 search results - page 119 / 151 » An Ordered Logic Program Solver |
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An ex...
127
click to vote
TYPES
1998
Springer
15 years 4 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
92
Voted
ESAW
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
157
Voted
TLDI
2010
ACM
15 years 9 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
79
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Ontology population is prone to cause inconsistency because the populating process is imprecise or the populated data may conflict with the original data. By assuming that the int...