1809 search results - page 56 / 362 » Software Model Checking Using Linear Constraints |
149
Voted
BPSC
2009
15 years 3 months ago
2009
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...
167
Voted
ICIP
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper is presented an effective and efficient method for content-aware image resizing. It is based on the solution of a linear system where each pixel displacement (compres...
111
Voted
WWW
2009
ACM
15 years 9 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
132
click to vote
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
114
click to vote
FSTTCS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...