4962 search results - page 327 / 993 » Stochastic Model Checking |
107
Voted
CASSIS
2004
Springer
15 years 8 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
161
click to vote
I3E
2001
15 years 4 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
112
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Exception handling design is an important but difficult subject in software development. In Java software development, the use of checked exceptions exacerbates the difficulty. In...
150
click to vote
ECMDAFA
2010
Springer
15 years 8 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
105
click to vote
MONTEREY
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...