1715 search results - page 150 / 343 » How Space Structures Language |
132
click to vote
ACSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
121
Voted
PEPM
1998
ACM
15 years 7 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...
120
click to vote
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
We extend Haskell with regular expression patterns. Regular expression patterns provide means for matching and extracting data which goes well beyond ordinary pattern matching as ...
168
click to vote
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
87
Voted
ACMDIS
2006
ACM
15 years 9 months ago
2006
ACM
By considering the spatial character of sensor-based interactive systems, this paper investigates how discussions of seams and seamlessness in ubiquitous computing neglect the com...