3565 search results - page 164 / 713 » Modeling a system controller for timing analysis |
138
Voted
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
Role based access control (RBAC) is a widely used access control paradigm. In large organizations, the RBAC policy is managed by multiple administrators. An administrative role ba...
131
Voted
ACSW
2004
15 years 4 months ago
2004
Business processes are often likely to undergo drastic changes and hence the workflow systems that model, simulate and enact these processes should support the monitoring and cont...
121
click to vote
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...
119
Voted
MEMOCODE
2006
IEEE
15 years 9 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
132
click to vote
DAC
1998
ACM
16 years 4 months ago
1998
ACM
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...