368 search results - page 10 / 74 » System BV is NP-complete |
90
Voted
CN
2007
15 years 16 days ago
2007
This paper presents an interaction taxonomy for classifying and identifying requirement interactions in software systems. The proposed taxonomy is in the form of a four-layered py...
111
Voted
CSI
2007
15 years 16 days ago
2007
In order to develop security critical Information Systems, specifying security quality requirements is vitally important, although it is a very difficult task. Fortunately, there ...
83
Voted
FGCS
2006
15 years 17 days ago
2006
We present a new algorithm for computing the solution of large Markov chain models whose generators can be represented in the form of a generalized tensor algebra, such as network...
83
Voted
SCL
2008
15 years 14 days ago
2008
This paper proposes a methodology to compute quadratic performance bounds when the closed loop poles of a discrete-time multivariable control loop are confined to a disk, centred ...
89
Voted
IJON
2007
15 years 14 days ago
2007
Although the role of lateral inhibition in edge (contrast) enhancement is well known, it has not been parametrized. This paper investigates the imbalance between the lateral inhib...