2261 search results - page 313 / 453 » Dynamic types for authentication |
TCS
2010
13 years 7 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
ECCV
2010
Springer
13 years 7 months ago
2010
Springer
We investigate the spatio-temporal alignment of videos or features/signals extracted from them. Specifically, we formally define an alignment manifold and formulate the alignment p...
IFIPTCS
2010
13 years 7 months ago
2010
Most highly dynamic infrastructure-less networks have in common that the assumption of connectivity does not necessarily hold at a given instant. Still, communication routes can be...
SEMWEB
2010
Springer
13 years 6 months ago
2010
Springer
Effective communication in open environments relies on the ability of agents to reach a mutual understanding of the exchanged message by reconciling the vocabulary (ontology) used....
SOCIALCOM
2010
13 years 6 months ago
2010
We explore the hypothesis that it is possible to obtain information about the dynamics of a blog network by analysing the temporal relationships between blogs at a semantic level, ...