4217 search results - page 816 / 844 » Computational indistinguishability logic |
223
click to vote
SACMAT
2009
ACM
16 years 20 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
158
Voted
CODES
2008
IEEE
16 years 18 days ago
2008
IEEE
Modern embedded compute platforms increasingly contain both microprocessors and field-programmable gate arrays (FPGAs). The FPGAs may implement accelerators or other circuits to s...
173
click to vote
IROS
2008
IEEE
16 years 16 days ago
2008
IEEE
— Developers and end-users have to interface robotic systems for control and feedback. Such systems are typically co-engineered with their graphical user interfaces. In the past,...
140
click to vote
LICS
2008
IEEE
16 years 16 days ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
186
click to vote
SAINT
2008
IEEE
16 years 16 days ago
2008
IEEE
In the ubiquitous computing environment, we believe that P2P-based context-aware application utilizing sensing data is important. However, since sensors are not placed under the c...