2436 search results - page 125 / 488 » Comonadic Notions of Computation |
116
click to vote
ICDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
Remotely executing mobile code introduces a plethora of security problems. This paper examines the “external agent replay” attack, identifies the notion of one-way program st...
116
click to vote
SIBGRAPI
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a system for collaborative conceptual design that allows users potentially located in geographically distant areas to cooperate by sketching, exploring and modifying the...
140
click to vote
FOSSACS
2003
Springer
15 years 9 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
132
click to vote
AINA
2009
IEEE
15 years 9 months ago
2009
IEEE
—The paper first discusses motivations why taking into account location information in authentication and access control is important. The paper then surveys current approaches t...
150
click to vote
IWVF
2001
Springer
15 years 8 months ago
2001
Springer
We present a 2D shape recognition and classification method based on matching shape outlines. The correspondence between outlines (curves) is based on a notion of an alignment cur...