Sciweavers

1895 search results - page 135 / 379
» Modular Functional Descriptions
Sort
View
CAISE
2006
Springer
13 years 11 months ago
Modeling and Verifying Workflow-based Regulations
Abstract. In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we aug...
Daniel Fötsch, Elke Pulvermüller, Wilhel...
WICSA
2004
13 years 9 months ago
An Externalized Infrastructure for Self-Healing Systems
Software architecture descriptions can play a wide variety of roles in the software lifecycle, from requirements specification, to logical design, to implementation architectures....
David S. Wile, Alexander Egyed
ESANN
1997
13 years 9 months ago
Extraction of crisp logical rules using constrained backpropagation networks
Two recently developed methods for extraction of crisp logical rules from neural networks trained with backpropagation algorithm are compared. Both methods impose constraints on th...
Wlodzislaw Duch, Rafal Adamczak, Krzysztof Grabcze...
WWW
2001
ACM
14 years 8 months ago
The design and implementation of the redland RDF application framework
Resource Description Framework (RDF) is a general description technology that can be applied to many application domains. Redland is a software library for RDF which implements a ...
Dave J. Beckett
AICT
2006
IEEE
201views Communications» more  AICT 2006»
14 years 2 months ago
Distributed Web Service Discovery Architecture
In this paper, we present a distributed Web service discovery architecture that is designed to be reliable, flexible and scalable. The architecture is based on the concept of dis...
Brahmananda Sapkota, Dumitru Roman, Sebastian Rysz...