1447 search results - page 219 / 290 » Graphs and Path Equilibria |
172
click to vote
ISSRE
2006
IEEE
16 years 11 days ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
172
click to vote
ICDM
2005
IEEE
15 years 12 months ago
2005
IEEE
We consider the problem of elastic matching of time series. We propose an algorithm that determines a subsequence of a target time series that best matches a query series. In the ...
187
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
154
click to vote
WEA
2005
Springer
15 years 11 months ago
2005
Springer
We study queueing strategies in the adversarial queueing model. Rather than discussing individual prominent queueing strategies we tackle the issue on a general level and analyze c...
164
click to vote
SENSYS
2004
ACM
15 years 11 months ago
2004
ACM
Existing geographic face routing algorithms use planarization techniques that rely on the unit-graph assumption, and thus can exhibit persistent routing failure when used with rea...