1054 search results - page 35 / 211 » Abstract Regular Model Checking |
IWANN
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. We examine the effects of changing the coefficient of variation (CV) of the inter-stimulus interval on the CV of the output interspike interval (ISI), using constant magn...
CSFW
2012
IEEE
11 years 11 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...
EDO
2000
Springer
14 years 14 days ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
APN
2008
Springer
13 years 11 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
ICRE
1998
IEEE
14 years 1 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...