Sciweavers

29143 search results - page 14 / 5829
» A Sortation System Model
Sort
View
168
Voted
QEST
2010
IEEE
15 years 4 months ago
Compositional Verification of Probabilistic Systems Using Learning
Lu Feng, Marta Z. Kwiatkowska, David Parker
272
Voted
CONTEXT
2011
Springer
14 years 6 months ago
Business Context Information Manager: An Approach to Improve Information Systems
Hamdi Chaker, Max Chevalier, Chantal Soulé-...
171
Voted
TSMC
2010
15 years 1 months ago
A Benchmark Diagnostic Model Generation System
Abstract--It is critical to use automated generators for synthetic models and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models ...
Jun Wang, Gregory M. Provan
161
Voted
HYBRID
2007
Springer
16 years 15 days ago
The Image Computation Problem in Hybrid Systems Model Checking
André Platzer, Edmund M. Clarke