6608 search results - page 254 / 1322 » On the Completeness of Model Checking |
180
click to vote
TASLP
2010
15 years 19 days ago
2010
Abstract--Independent vector analysis (IVA) is a method for separating convolutedly mixed signals that significantly reduces the occurrence of the well-known permutation problem in...
171
click to vote
ENTCS
2010
15 years 3 months ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
125
click to vote
ICDT
1990
ACM
15 years 10 months ago
1990
ACM
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
137
click to vote
EWSA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evo...
154
click to vote
JAIR
2007
15 years 5 months ago
2007
Many combinatorial optimization problems such as the bin packing and multiple knapsack problems involve assigning a set of discrete objects to multiple containers. These problems ...