2533 search results - page 306 / 507 » Supporting Generalized Context Interactions |
167
click to vote
JOLLI
2008
15 years 6 months ago
2008
Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By th...
294
click to vote
PODS
2009
ACM
16 years 7 months ago
2009
ACM
Database technology is playing an increasingly important role in understanding and solving large-scale and complex scientific and societal problems and phenomena, for instance, un...
178
click to vote
WIKIS
2006
ACM
16 years 14 days ago
2006
ACM
This paper discusses the design and implementation of processes and tools to support the collaborative creation and maintenance of multilingual wiki content. A wiki is a website w...
171
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
184
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Tor, a distributed Internet anonymizing system, relies on volunteers who run dedicated relays. Other than altruism, these volunteers have no incentive to run relays, causing a lar...