Formal Specification of Automatic DMARF Based on CSP
Abstract
Index Terms
- Formal Specification of Automatic DMARF Based on CSP
Recommendations
A formal framework for middleware behavioural specification
The number of open specifications of middleware systems and middleware services is increasing. Despite their complexity, they are traditionally described through APIs (the operation signatures) and informal prose (the behaviour). This fact often leads ...
Developing autonomic properties for distributed pattern-recognition systems with ASSL: A Distributed MARF case study
Transactions on Computational Science XVWe discuss our research towards developing special properties that introduce autonomic behavior in distributed pattern-recognition systems. In our approach we use ASSL (Autonomic System Specification Language) to formally develop such properties for ...
Autonomic specification of self-protection for distributed MARF with ASSL
C3S2E '09: Proceedings of the 2nd Canadian Conference on Computer Science and Software EngineeringThis paper presents practical results of our endeavor towards formal specification and code generation of the Autonomic Distributed Modular Audio Recognition Framework (AD-MARF) system. We used the Autonomic System Specification Language (ASSL) to ...
Comments
Information & Contributors
Information
Published In
Publisher
IEEE Computer Society
United States
Publication History
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in