3038 search results - page 201 / 608 » Controlling Engineering Problem Solving |
122
click to vote
IWPSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Software is changing and software evolution is going to change with it. In considering software and the problems of software evolution today we make the tacit assumption that we c...
126
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
To provide Quality of Service (QoS) guarantees in open and unpredictable environments, the utilization control problem is defined to keep the processor utilization at the schedula...
131
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
CSSE
2008
IEEE
15 years 8 months ago
2008
IEEE
—The skew-correction of scanned document image is a necessary step undergone before some processing. For the purpose of practical, robust, real-time of the algorithm, this paper ...
129
click to vote
HASE
2008
IEEE
15 years 8 months ago
2008
IEEE
—In this paper, we investigate the transmission-power assignment problem for k-connected mobile ad hoc networks (MANETs), the problem of optimizing the lifetime of a MANET at a g...