6618 search results - page 1116 / 1324 » Web Search Engines |
182
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
212
click to vote
APSEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Maintaining software systems becomes more difficult as their size and complexity increase. One factor that makes software maintenance more difficult is the presence of code clones...
193
click to vote
REFSQ
2010
Springer
15 years 11 months ago
2010
Springer
Product managers in software companies are confronted with a continuous stream of incoming requirements. Due to limited resources they have to make a selection of those that can be...
175
click to vote
COMPSAC
2004
IEEE
15 years 11 months ago
2004
IEEE
While meta-heuristics are effective for solving large-scale combinatorial optimization problems, they result from time-consuming trial-and-error algorithm design tailored to speci...
207
click to vote
DICS
2006
15 years 11 months ago
2006
We address failure location and restoration in both optical and wireless ad hoc networks. First, we show how Maximum Likelihood inference can improve failure location algorithms in...