3456 search results - page 581 / 692 » Algorithms for Interface Synthesis |
PODS
2001
ACM
14 years 10 months ago
2001
ACM
Several commercial applications, such as online comparison shopping and process automation, require integrating information that is scattered across multiple websites or XML docum...
ICFP
2002
ACM
14 years 10 months ago
2002
ACM
This paper presents a monadic approach to incremental computation, suitable for purely functional languages such as Haskell. A program that uses incremental computation is able to...
MOBISYS
2008
ACM
14 years 9 months ago
2008
ACM
Deployments of city-wide multi-hop 802.11 networks introduce challenges for maintaining client performance at vehicular speeds. We experimentally demonstrate that current network ...
MOBISYS
2007
ACM
14 years 9 months ago
2007
ACM
During mass casualty incidents, an enormous amount of data, including the vital signs of the patients, the location of the patients, and the location of the first responders must ...
IUI
2009
ACM
14 years 7 months ago
2009
ACM
Knowledge workers must manage large numbers of simultaneous, ongoing projects that collectively involve huge numbers of resources (documents, emails, web pages, calendar items, et...