1363 search results - page 229 / 273 » Distributed Authorization with Distributed Grammars |
86
Voted
ICFP
2005
ACM
16 years 15 days ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
106
Voted
ICFP
2002
ACM
16 years 15 days ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
88
Voted
DCC
2007
IEEE
16 years 3 days ago
2007
IEEE
We consider video sequences that have been encrypted uncompressed. Since encryption masks the source, traditional data compression algorithms are rendered ineffective. However, it...
88
Voted
MOBIHOC
2003
ACM
16 years 3 days ago
2003
ACM
Contrary to the common belief that mobility makes security more difficult to achieve, we show that node mobility can, in fact, be useful to provide security in ad hoc networks. We...
64
Voted
ICS
2010
Tsinghua U.
15 years 10 months ago
2010
Tsinghua U.
feuse of its devstting eets in utions nd other mehnismsD ollusion is prohiited nd leglly proseutedF etD olluders hve lwys existedD nd my ontinue to existF e thus rise the followin...