Font Size:
a
A
A
Keyword [Compositional]
Result: 61 - 80 | Page: 4 of 5
61.
A games-based foundation for compositional software model checking
62.
Learning Dependency-Based Compositional Semantics
63.
Compositional Design of Analog Systems Using Contracts
64.
A compositional approach for analyzing dependencies in component-based systems
65.
Smart compositional wrappers
66.
On-line learning of predictive compositional hierarchies
67.
Lunar crustal mixing and compositional contamination: New perspectives from spectral mixture analysis of Clementine data and numerical modeling of impact cratering
68.
Design, realization and evaluation of a component-based compositional software architecture for network simulation
69.
Compositional design and simulation of engineered systems
70.
Improving compositional verification through environment synthesis and syntactic model reduction
71.
Model checking for open systems: A compositional approach to software verification
72.
Compositional approach to recognition using multi-scale computations
73.
Micro-workflow: A workflow architecture supporting compositional object-oriented software development
74.
Compositional verification using interface recognizers/suppliers (IRS)
75.
Refactoring design models for compositional verification, conformance testing, and inductive verification
76.
Compositional verification by model checking for counter-examples
77.
Model checking, abstraction, and compositional verification
78.
Compositional reservoir simulation in parallel supercomputing environments
79.
Association between particulate compositional changes during filter extraction and the interpretation of filter-based PM2.5 toxicology
80.
Computational Modeling of Compositional and Relational Data Using Optimal Transport and Probabilistic Model
<<First
<Prev
Next>
Last>>
Jump to
