the proceedings contain 7 papers. the topics discussed include: upgrading databases to ontologies;a sound and complete algorithm for simple conceptual logic programs;combining logicprogramming with description logics...
the proceedings contain 7 papers. the topics discussed include: upgrading databases to ontologies;a sound and complete algorithm for simple conceptual logic programs;combining logicprogramming with description logics and machine learning for the semantic web;a semantic stateless service description language;large scale reasoning on the semantic web;and reasoning on the web with open and closed predicates.
Software metrics provide essential means for software practitioners to assess its quality. However, to assess software quality, it is important to assess its UML models because of UML wide and recent usage as an objec...
详细信息
ISBN:
(纸本)9789774033964
Software metrics provide essential means for software practitioners to assess its quality. However, to assess software quality, it is important to assess its UML models because of UML wide and recent usage as an object-oriented modeling language. But the issue is which type of software metrics can be utilized on UML models. One of the most important software metrics suite is Chidamber and Kemerer metrics suite, known by CK suite [1]. In the current work, an automated tool is developed to compute the six CK metrics by gathering the required information from class diagrams, activity diagrams, and sequence diagrams. In addition, extra information is collected from system designer, such as the relation between methods and their corresponding activity diagrams and which attributes they use. the proposed automated tool operates on XMI standard file format [10] to provide independence from a specific UML tool. To evaluate the applicability and quality of this tool, it has been applied to two examples: an online registration system and one of the bioinformatics Microarray tools (MIDAS).
the proceedings contain 251 papers. the topics discussed include: towards smaller-sized cache for mobile processors using shared set-associativity;designing efficient many-core parallel algorithms for all-pairs shorte...
ISBN:
(纸本)9780769539843
the proceedings contain 251 papers. the topics discussed include: towards smaller-sized cache for mobile processors using shared set-associativity;designing efficient many-core parallel algorithms for all-pairs shortest-paths using CUDA;synthesis of processor allocator for torus-based chip multiprocessors;evaluating MPI implementations using HPL on an infiniband Nehalem Linux cluster;architectural design of an automated software tool;assisting students with typical programming errors during a coding session;the development of web-based system for blood requisition within blood supply chain;a comparative study of inference engines;multi-layered collaborative semantic omni-functional documents;rigorous definition/specification in raise specification language of a framework for web services about geographic information systems;provenance collection in reservoir management workflow environments;and functional implementation specification for a service-oriented geographic intelligence.
the proceedings contain 38 papers. the topics discussed include: on matrices, automata, and double counting;characterization and automation of matching-based neighborhoods;rapid learning for binary programs;hybrid met...
ISBN:
(纸本)3642135196
the proceedings contain 38 papers. the topics discussed include: on matrices, automata, and double counting;characterization and automation of matching-based neighborhoods;rapid learning for binary programs;hybrid methods for the multileaf collimator sequencing problem;automatically exploiting subproblem equivalence in constraint programming;single-facility scheduling over long time horizons by logic-based benders decomposition;integrated maintenance scheduling for semiconductor manufacturing;a constraint programming approach for the service consolidation problem;solving connected subgraph problems in wildlife conservation;consistency check for the bin packing constraint revisited;an in-out approach to disjunctive optimization;a SAT encoding for multi-dimensional packing problems;job shop scheduling with setup times and maximal time-lags: a simple constraint programming approach;on the design of the next generation access networks;and vehicle routing for food rescue programs: a comparison of different approaches.
Today's organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. this requirement may be addressed by employing event...
详细信息
Unlike propositional logic which works on truth or falsity of statements, human judgements are subjective in nature having certain degree of uncertainty. Two different people will analyse and interpret a document in t...
详细信息
ISBN:
(纸本)9783642162916
Unlike propositional logic which works on truth or falsity of statements, human judgements are subjective in nature having certain degree of uncertainty. Two different people will analyse and interpret a document in two different ways based on their background and current focus. In this paper we present an enhanced framework of subjective logic for automated single document analysis where each sentence in the document represents a proposition, and 'opinions' are constructed about this proposition to focus the degree of uncertainty associated with it. the 'opinion' about a sentence determines the significance of that sentence in a document. the input arguments are built automatically from a document in the form of evidence;then they are analyzed based on subjective logic parameters. Two different approaches are described here. the first utilises "bag of words" concept. However, this approach tends to miss the underlying semantic meanings of the context, so we further enhanced it into the latter approach which incorporates semantic information of the context, by extending the basic definitions of subjective logic.
Increasingly, high-assurance software systems apply self-reconfiguration in order to satisfy changing functional and non-functional requirements. Most self-reconfiguration approaches identify a target system configura...
详细信息
the functional specification of software systems is often given in form of use cases. the compliance of a system implementation to a use case specification is validated by system tests, which can nowadays be automated...
详细信息
ISBN:
(纸本)9783642114854
the functional specification of software systems is often given in form of use cases. the compliance of a system implementation to a use case specification is validated by system tests, which can nowadays be automated. Unfortunately, system tests run slowly and assume that all needed external systems such as databases and authentication servers are accessible and run correctly. For these reasons, software developers rather rely on module tests, which test the functionality of individual modules. Module tests, however, have the disadvantage of being defined independently of the customer's system specification. In this paper, we describe an approach to combine the advantages of system and module tests. the core technique is (i) to record the complete information flow between modules during the execution of system tests and (ii) to generate, based on this data, corresponding module tests afterwards. the resulting module tests are fast, they are independent of external systems, and they reflect test scenarios defined in use cases. Our approach is heavily based on aspect-oriented programming (AOP) and implemented by the open-source framework jantomock.
A term t is called a template of terms t(1) and t(2) if t(1) = t eta(1) and t(2) = t eta(2), for some substitutions eta(1) and eta(2). A template t of t(1) and t(2) is called the most specific iff for any template t&#...
详细信息
ISBN:
(纸本)9783642114854
A term t is called a template of terms t(1) and t(2) if t(1) = t eta(1) and t(2) = t eta(2), for some substitutions eta(1) and eta(2). A template t of t(1) and t(2) is called the most specific iff for any template t' of t(1) and t(2) there exists a substitution xi such that t = t'xi. the anti-unification problem is that of computing the most specific template of two given terms. this problem is dual to the well-known unification problem, which is the computing of the most general instance of terms. Unification is used extensively in automatic theorem proving and logicprogramming. We believe that anti-unification algorithms may have wide applications in program analysis. In this paper we present an efficient algorithm for computing the most specific templates of terms represented by labelled directed acyclic graphs and estimate the complexity of the anti-unification problem. We also describe techniques for invariant generation and software clone detection based on the concepts of the most specific templates and anti-unification.
Cross toolkits (assembler, linker, debugger, simulator, profiler) play a key role in the development cycle of embedded systems. Early creation of cross toolkits and possibility to quickly adapt them allows using them ...
详细信息
ISBN:
(纸本)9783642114854
Cross toolkits (assembler, linker, debugger, simulator, profiler) play a key role in the development cycle of embedded systems. Early creation of cross toolkits and possibility to quickly adapt them allows using them as early as at the hardware/software codesign stage, which shortens time-to-market and becomes an important success factor for the entire project. Challenging issues for cross toolkits development is efficiency of simulation and ability to adapt to CPU instruction set ongoing changes at the design phase. Developing cross toolkits in C/C++ produces highly efficient tools but requires extensive rework to keep up with instruction set;changes. Approaches based on automatic toolkit generation from some top level specifications in Architecture Description Languages (ADLs) are less sensitive to this problem but they produce inefficient tools, especially simulators. this paper introduces a new approach to cross toolkit development that combines the flexibility of ADL and efficiency of C/C++ based approaches. this approach was implemented in the MetalDSP framework, which was successfully applied in several industrial projects.
暂无评论