1210 search results - page 211 / 242 » Secure Logic Synthesis |
159
click to vote
SOCO
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
162
click to vote
ICC
2007
IEEE
16 years 2 days ago
2007
IEEE
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
158
click to vote
ICLP
2007
Springer
15 years 12 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
169
Voted
LPAR
2007
Springer
15 years 12 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
159
click to vote
AVSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes the architecture of a visual surveillance system that combines real time computer vision algorithms with logic programming to represent and recognize activiti...