1031 search results - page 179 / 207 » Modeling and Formal Verification of Production Automation Sy... |
LICS
1994
IEEE
13 years 11 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
GI
2009
Springer
13 years 5 months ago
2009
Springer
Abstract: The integration of EMIS and ERP-systems has been recognized as an important step towards a holistic and long-term oriented environmental management. A number of research ...
RTSS
1998
IEEE
13 years 11 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
Associating speci c gene activity with speci c functional locations in the brain anatomy results in a greater understanding of the role of the gene's products. To perform such...