2861 search results - page 482 / 573 » Modelling Adaptive Systems in ForSyDe |
116
Voted
ESORICS
2004
Springer
15 years 9 months ago
2004
Springer
We describe an approach to sensor-based authentication that can adapt to accommodate incomplete, unreliable, or inaccurate input provided to the system. Parameterized Authenticatio...
131
Voted
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
The ability to incorporate low-power, wireless communication into embedded devices gives rise to a new genre of embedded software that is distributed, dynamic, and adaptive. This p...
134
Voted
WWW
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we demonstrate a novel landmark photo search and browsing system, Agate, which ranks landmark image search results considering their relevance, diversity and qualit...
133
Voted
ISPEC
2010
Springer
15 years 5 months ago
2010
Springer
Often authentication and confidentiality are required as simultaneous key requirements in many cryptographic applications. The cryptographic primitive called signcryption effective...
130
Voted
AIML
2006
15 years 5 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...