6020 search results - page 161 / 1204 » A New Approach to Model Counting |
125
click to vote
ANOR
2008
15 years 4 months ago
2008
: In this paper, a new predictive-reactive approach to a parallel machine scheduling problem in the presence of uncertain disruptions is presented. The approach developed is based ...
142
click to vote
WSC
2008
15 years 6 months ago
2008
This paper summarizes new analytical and empirical results for the economic approach to simulation selection problems that we introduced two years ago. The approach seeks to help ...
110
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Web applications are increasingly becoming the most important platform for software applications in industry, with many modelling languages proposed to handle the complexity of ...
134
click to vote
VLSM
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we describe a new framework for the tracking of closed curves described through implicit surface modeling. The approach proposed here enables a continuous tracking al...
151
click to vote
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper presents a novel approach to the design of self-adaptive service-oriented applications based on a new model called service tiles. The approach allows designers to dev...