602 search results - page 37 / 121 » Efficient Model Checking of Applications with Input Output |
ANOR
2006
13 years 10 months ago
2006
This paper examines the effectiveness of joint decision making within 87 pairs of buyer-supplier relationships in manufacturing. Joint decision making is an important attribute of ...
ICPR
2010
IEEE
14 years 3 months ago
2010
IEEE
—This paper proposes the sequential context inference (SCI) algorithm for Markov random field (MRF) image analysis. This algorithm is designed primarily for fast inference on an...
IJCAI
1989
13 years 11 months ago
1989
Perturbation analysis deals with the relation ships between small changes in a system's inputs or model and changes in its outputs. Reverse simulation is of particular inte...
IJCAT
2010
13 years 8 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
PVM
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Designing and tuning parallel applications with MPI, particularly at large scale, requires understanding the performance implications of different choices of algorithms ...