Results 301 to 310 of about 1,232,717 (325)
Some of the next articles are maybe not open access.

Service composition execution optimization based on state transition matrix for cloud computing

Proceedings of the 10th World Congress on Intelligent Control and Automation, 2012
Sheng Liu   +4 more
semanticscholar   +1 more source

Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking

Asia-Pacific Software Engineering Conference, 2011
W. Kong   +5 more
semanticscholar   +1 more source

An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix

Communication Systems and Applications, 2011
W. Kong   +5 more
semanticscholar   +1 more source

Prediction of structural vibration by identified state transition matrix

The Proceedings of Conference of Tokai Branch, 2020
Daichi SHIMIZU   +2 more
openaire   +1 more source

Application of transition density matrix for analysis of excited states

Theoretical and Experimental Chemistry, 1976
A. V. Luzanov   +2 more
openaire   +1 more source

Output-feedback controlled-invariant sets for systems with linear parameter-varying state transition matrix

IEEE Conference on Decision and Control and European Control Conference, 2011
A. Hempel, A. Kominek, H. Werner
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy