5863 search results - page 93 / 1173 » On Model-Checking of P Systems |
138
Voted
I3E
2001
15 years 2 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
91
Voted
SACMAT
2010
ACM
15 years 5 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
113
click to vote
CAV
2008
Springer
15 years 2 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
128
click to vote
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
84
Voted
P2P
2007
IEEE
15 years 7 months ago
2007
IEEE
