Stabilization of Nonlinear Systems Using Receding-horizon Control Schemes
Dr. Alamir presents a successful approach to this problem based on a co-operation between structural considerations and on-line ...
Lire la suite
Static Analysis
This book constitutes the refereed proceedings of the 8th International Symposium on Static Analysis, SAS 2001, held in Paris, ...
Lire la suite
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...
Lire la suite
Stochastic Optimization
The search for optimal solutions pervades our daily lives. From the scientific point of view, optimization procedures play ...
Lire la suiteSystematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms ...
Lire la suite
Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Lire la suite
Term Rewriting and Applications (vol. # 4098)
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
Lire la suite
Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
This book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Lire la suite
Theory and Applications of Satisfiability Testing - SAT 2007
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
Lire la suite
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suite
Transactions on Rough Sets V
Volume V of the Transactions on Rough Sets (TRS) is dedicated to the monu-mental life and work of Zdzis law Pawlak1. During ...
Lire la suite
Verification, Model Checking, and Abstract Interpretation
This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...
Lire la suite
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
The book feature current research from the communities of verification, program certification, model checking, debugging ...
Lire la suite
Web Reasoning and Rule Systems
It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...
Lire la suite
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lire la suite
