402 search results - page 81 / 81 » Model Checking Quantified Computation Tree Logic |
IPPS
1998
IEEE
14 years 3 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
BMCBI
2007
13 years 11 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...