1059 search results - page 175 / 212 » Standard Logics Are Valuation-Nonmonotonic |
IEEESCC
2007
IEEE
14 years 4 months ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
Achieving high structural coverage such as branch coverage in objectoriented programs is an important and yet challenging goal due to two main challenges. First, some branches inv...
CIKM
2007
Springer
14 years 4 months ago
2007
Springer
We present an evolutionary clustering method which can be applied to multi-relational knowledge bases storing resource annotations expressed in the standard languages for the Sema...
ESWS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Ontologies are now used within an increasing number of realworld applications. So far, significant effort has been spend in building tools to support users in creating,...
IWMM
2007
Springer
14 years 4 months ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...