1587 search results - page 213 / 318 » The Semantics of Extended SOFL |
FSEN
2009
Springer
14 years 3 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
ICCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
The usage of parallelization and distribution techniques in the field of ontology matching is of high interest for the semantic web community. This work presents an approach for ma...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
SOSE
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...