Sciweavers

108 search results - page 6 / 22
» caise 2003
Sort
View
CAISE
2003
Springer
14 years 2 months ago
Improving Termination Analysis of Active Rules with Priorities
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
Alain Couchot
CAISE
2003
Springer
14 years 2 months ago
Exploiting Generalization for the Composition of Transformations of XML Schema Based Documents
Abstract. Open exchange of electronic documents in XML formats frequently requires the transformation to different XML-Schemas or DTDs (document type description). We propose a tr...
Marek Lehmann
CAISE
2003
Springer
14 years 2 months ago
Computing Event Dependencies in System Designs and Programs
Abstract. This paper presents a method to compute metrics that predict maintainability of a system with respect to its event processing. The metrics reflect the complexity of event...
Bruc Lee Liong, Leszek A. Maciaszek
CAISE
2003
Springer
14 years 2 months ago
A Scenario Description Language Based on Action Frame
Scenarios that describe concrete behaviors of system play an important role in system development and in particular requirements engineering. Scenarios are informal, and are diffic...
Hong Hui Zhang, Atsushi Ohnishi
CAISE
2003
Springer
14 years 2 months ago
Implementing Virtual Enterprises Using AGORA Multi-agent System
Abstract. In this paper, we describe how the AGORA multi-agent architecture is used to support Virtual Enterprises(VE). Software agents represent the partners of a VE, who collabor...
Jinghai Rao, Sobah Abbas Petersen