Export Citations
1 Results for: Book/Issue: ISORC '10: Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,802,176 records)|Limit your search to The ACM Full-Text Collection (771,782 records)
Showing 1 - 1of1 Results
Select All
- ArticleMay 2010
Non-regular Adaptation of Services Using Model Checking
ISORC '10: Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed ComputingPages 170–174https://doi.org/10.1109/ISORC.2010.30This paper proposes a different approach for service adaptation which aims to: (i) support non-regular adaptation; (ii) integrate adaptation and model checking. First, a pushdown automaton is used to model the adaptor so that non-regular languages are ...
