8587 search results - page 1469 / 1718 » Interactive dynamic abstraction |
125
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
126
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The permanent growth of personal music collections caused by the ongoing digital revolution asks for novel ways of organization. Traditional list based approaches are—...
135
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Collaborative or “Social” filtering has been successfully deployed over the years as a technique for analysing large amounts of user-preference knowledge to predict...
128
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
137
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Delay Tolerant Networks (DTNs) are wireless networks in which at any given time instance, the probability of having a complete path from a source to destination is low d...