592 search results - page 77 / 119 » Indexing Factors with Gaps |
159
click to vote
LADS
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. More and more aspects of concurrency and concurrent programming are becoming part of mainstream programming and software engineering, as a result of several factors, such...
190
click to vote
KBSE
2006
IEEE
15 years 12 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
173
click to vote
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
In order to support the maintenance of object-oriented software systems, the quality of their design must be evaluated using adequate quantification means. In spite of the curren...
146
click to vote
COCOON
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We investigate the online exploration problem of a shortsighted mobile robot moving in an unknown cellular room without obstacles. The robot has a very limited sensor; it...
136
click to vote
ICN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...