1210 search results - page 211 / 242 » Secure Logic Synthesis |
134
Voted
SOCO
2009
Springer
15 years 10 months 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...
132
Voted
ICC
2007
IEEE
15 years 10 months 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...
138
click to vote
ICLP
2007
Springer
15 years 10 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...
143
click to vote
LPAR
2007
Springer
15 years 10 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...
134
Voted
AVSS
2005
IEEE
15 years 9 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...