1926 search results - page 104 / 386 » Modeling and Model Checking Software Product Lines |
178
click to vote
STTT
2010
15 years 26 days ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
148
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
Our interest in the eld of software architecture is focused on the application in technical systems, such as control systems. Our current research in this eld is centered around a...
127
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Research on formulae production in spreadsheets has established the practice as high risk yet unrecognised as such by industry. There are numerous software applications that are d...
157
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
The new concept and method of imposing imprecise (fuzzy) input and output data upon the conventional linear regression model is proposed in this paper. We introduce the fuzzy scala...
168
click to vote
WSC
1997
15 years 7 months ago
1997
We describe the application of simulation and statistical analyses to the process improvement of a paint shop within a heavy manufacturing plant. The explicit objectives of this s...