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
Concurrent Approach to Teaching Concurrent Design Engineering
Proceedings of the Canadian Engineering Education Association (CEEA)
A Symbolic Approach to Quantum Computation Simulation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
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
The Ethno-Symbolic Approach to Identity
Problems of Archaeology, Ethnography, Anthropology of Siberia and Neighboring Territories
Symbolic Diagnosis of Partially Observable Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science