3387 search results - page 308 / 678 » Model-Checking for Real-Time Systems |
238
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
Fast and reliable algorithms for estimating the head pose are essential for many applications and higher-level face analysis tasks. We address the problem of head pose estimation ...
177
click to vote
ENTCS
2008
15 years 7 months ago
2008
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
224
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
152
click to vote
ATVA
2005
Springer
16 years 24 days ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
235
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Systematic state-space exploration is a powerful technique for veri cation of concurrent software systems. Most work in this area deals with manually-constructed models of those sy...