10284 search results - page 1833 / 2057 » Designing for nomadic work |
152
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
142
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
157
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Keyword search is considered to be an effective information discovery method for both structured and semistructured data. In XML keyword search, query semantics is based on the con...
144
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Scientific workflows are increasingly used for rapid integration of existing algorithms to form larger and more comgrams. Such workflows promise to provide more abstract, yet execu...
129
click to vote
MOBISYS
2008
ACM
16 years 3 months ago
2008
ACM
Increasingly, 802.11 devices are being used by mobile users. This results in very dynamic wireless channels that are difficult to use efficiently. Current rate selection algorithm...