334 search results - page 37 / 67 » A parametric analysis of the state-explosion problem in mode... |
196
click to vote
CADE
2011
Springer
14 years 24 days ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
110
Voted
SIGGRAPH
1995
ACM
15 years 4 months ago
1995
ACM
In computer graphics and geometric modeling, shapes are often represented by triangular meshes. With the advent of laser scanning systems, meshes of extreme complexity are rapidly...
FMOODS
2007
15 years 2 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
90
Voted
ICTAI
2005
IEEE
15 years 6 months ago
2005
IEEE
Stochastic Shortest Path problems (SSPs) can be efficiently dealt with by the Real-Time Dynamic Programming algorithm (RTDP). Yet, RTDP requires that a goal state is always reach...
119
click to vote
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...