1638 search results - page 280 / 328 » A General Semantics for Evaluation Logic |
ICFP
2007
ACM
15 years 11 months ago
2007
ACM
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
111
click to vote
MOBIHOC
2004
ACM
15 years 11 months ago
2004
ACM
There exist several applications of sensor networks where reliability of data delivery can be critical. While the redundancy inherent in a sensor network might increase the degree...
POPL
2010
ACM
15 years 8 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
148
click to vote
HYPERTEXT
2009
ACM
15 years 8 months ago
2009
ACM
Collaborative annotation tools are in widespread use. The metadata from these systems can be mined to induce semantic relationships among Web objects (sites, pages, tags, concepts...
EUROSYS
2006
ACM
15 years 8 months ago
2006
ACM
Usage-awaRe Interactive Content Adaptation (URICA) is an automatic technique that adapts content for display on mobile devices based on usage semantics. URICA allows users who are...