1497 search results - page 174 / 300 » Extended static checking |
79
Voted
ACSD
2008
IEEE
15 years 7 months ago
2008
IEEE
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
92
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This article addresses the invertibility problem for switched nonlinear systems affine in controls. The problem is concerned with finding the input and switching signal uniqu...
132
Voted
ISORC
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, a Role-based Access Control (RBAC) model is applied and extended to a multimedia version called Multi-Role Based Access Control (MRBAC), which can fully support the...
122
Voted
ASWEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
73
Voted
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper shows results on outdoor vision-based loop closing for Simultaneous Localization and Mapping. Our experiments show that for loops of over 50m, the pose estimates mai...