3713 search results - page 336 / 743 » Quantum Information Theory |
154
click to vote
LICS
2008
IEEE
16 years 13 days ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
159
click to vote
SECURWARE
2008
IEEE
16 years 12 days ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
154
click to vote
ICDIM
2007
IEEE
16 years 10 days ago
2007
IEEE
: This paper proposes a context-aware security service providing multiple authentications and authorization from a Security Level which is decided dynamically in a context-aware en...
175
click to vote
VTC
2007
IEEE
16 years 9 days ago
2007
IEEE
— The search for free parking places is a promising application for vehicular ad hoc networks (VANETs). In order to guide drivers to a free parking place at their destination, it...
157
click to vote
ATAL
2007
Springer
16 years 6 days ago
2007
Springer
We formulate the problem of computing equilibria in multiplayer games represented by arbitrary undirected graphs as a constraint satisfaction problem and present two algorithms. T...