Amanote Research
Register
Sign In
A Symbolic Approach to Permission Accounting for Concurrent Reasoning
doi 10.1109/ispdc.2015.26
Full Text
Open PDF
Abstract
Available in
full text
Date
June 1, 2015
Authors
Marieke Huisman
Wojciech Mostowski
Publisher
IEEE
Related search
Symbolic Reasoning for Hearthstone
IEEE Transactions on Games
A Symbolic Approach to Quantum Computation Simulation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Concurrent Approach to Teaching Concurrent Design Engineering
Proceedings of the Canadian Engineering Education Association (CEEA)
A Weighted Approach to Partial Matching for Mobile Reasoning
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A General Symbolic Approach to Kolmogorov-Sinai Entropy
Entropy
Electronic Engineering
Information Systems
Mathematical Physics
Electrical
Astronomy
Physics
The Ethno-Symbolic Approach to Identity
Problems of Archaeology, Ethnography, Anthropology of Siberia and Neighboring Territories
A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Banzhaf Permission Values for Games With a Permission Structure
A Hybrid Symbolic-Statistical Approach to Modeling Metabolic Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science