960 search results - page 121 / 192 » Computational Semantics Of Mass Terms |
FOAL
2009
ACM
14 years 2 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
SACMAT
2006
ACM
14 years 1 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
W4A
2006
ACM
14 years 1 months ago
2006
ACM
Interest in accessing the Web from small, mobile devices, such as cell phones, is increasing rapidly. The challenge of delivering content to such devices is similar in many ways t...
HT
2005
ACM
14 years 1 months ago
2005
ACM
This paper presents a historical view of hypertext looking at preweb hypertext as a domesticated species bred in captivity, and arguing that on the web, some breeds of hypertext h...
MINENET
2005
ACM
14 years 1 months ago
2005
ACM
Enterprise networks contain hundreds, if not thousands, of cooperative end-systems. We advocate devoting a small fraction of their idle cycles, free disk space and network bandwid...