Keyword: Z/EVES : Search

Applied Filters

Publications

Conferences

Publication Date

3 Results for: Keyword: Z/EVESEdit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,835,745 records)|Limit your search to The ACM Full-Text Collection (773,883 records)

Showing 1 - 3of3 Results

Select All

Export Citations Save to Binder

per page:

Recency

research-article
March 2016
A Rigorous Framework for Verification & Validation of Dynamic Aspect of Safety Critical System
ICTCS '16: Proceedings of the Second International Conference on Information and Communication Technology for Competitive StrategiesArticle No.: 103, Pages 1–8https://doi.org/10.1145/2905055.2905162

Being rich in the graphical notation, Unified Modeling Language (UML) is regarded as a de facto standard for visualizing, constructing and analyzing the software artifacts in both the domain i.e. in industries as well as in academia. Although UML has ...
0
67
Metrics
Total Citations0
Total Downloads67
Last 12 Months4
Last 6 weeks3
Get Access
article
May 2014
Formalizing workflows partitioning over federated clouds: multi-level security and costs
- Leo Freitas,
- Paul Watson
International Journal of Computer Mathematics (IJOCM), Volume 91, Issue 5Pages 881–906https://doi.org/10.1080/00207160.2013.820282
4
Metrics
Total Citations4
Article
June 2005
Formal Semantics and Verification for Feature Modeling
ICECCS '05: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer SystemsPages 303–312https://doi.org/10.1109/ICECCS.2005.48

Research on features has received much attention in the domain engineering community. Feature modeling plays an important role in the design and implementation of complex software systems. However, the presentation and analysis of feature models are ...
26
Metrics
Total Citations26