1413 search results - page 147 / 283 » Bisimilarity of Open Terms |
178
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Network virtualization allows many networks to share the same underlying physical topology; this technology has offered promise both for experimentation and for hosting multiple n...
174
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Link analysis methods have been used successfully for knowledge discovery from the link structure of mutually linking entities. Existing link analysis methods have been inherently...
164
click to vote
SLIP
2009
ACM
16 years 1 months ago
2009
ACM
Double patterning lithography seems to be a prominent choice for 32nm and 22nm technologies. Double patterning lithography techniques require additional masks for a single interco...
156
click to vote
WIKIS
2009
ACM
16 years 1 months ago
2009
ACM
The main feature of the free online-encyclopedia Wikipedia is the wiki-tool, which allows viewers to edit the articles directly in the web browser. As a weakness of this openness ...
188
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...