852 search results - page 149 / 171 » entcs 2010 |
122
Voted
ENTCS
2007
15 years 3 months ago
2007
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...
127
click to vote
ENTCS
2007
15 years 3 months ago
2007
An access control system regulates the rights of users to gain access to resources in accordance with a specified policy. The rules in this policy may interact in a way that is n...
121
click to vote
ENTCS
2007
15 years 3 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
110
click to vote
ENTCS
2007
15 years 3 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
140
click to vote
ENTCS
2007
15 years 3 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...