5227 search results - page 1007 / 1046 » Constructing New Media |
112
click to vote
GG
2008
Springer
15 years 27 days ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
124
click to vote
ICFP
2010
ACM
15 years 27 days ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
103
click to vote
HASKELL
2008
ACM
15 years 27 days ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
103
click to vote
CCS
2010
ACM
15 years 1 days ago
2010
ACM
We show in this paper how several proposed Physical Unclonable Functions (PUFs) can be broken by numerical modeling attacks. Given a set of challenge-response pairs (CRPs) of a PU...
128
click to vote
DEXAW
2010
IEEE
15 years 1 days ago
2010
IEEE
— One of the central issues in Learning to Rank (L2R) for Information Retrieval is to develop algorithms that construct ranking models by directly optimizing evaluation measures ...