1447 search results - page 219 / 290 » Graphs and Path Equilibria |
185
click to vote
ISSRE
2006
IEEE
16 years 23 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 ...
183
click to vote
ICDM
2005
IEEE
16 years 10 days 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 ...
199
click to vote
LCPC
2005
Springer
16 years 7 days 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 ...
169
click to vote
WEA
2005
Springer
16 years 6 days 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...
177
click to vote
SENSYS
2004
ACM
16 years 5 days 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...