597 search results - page 36 / 120 » E-Process Design and Assurance Using Model Checking |
115
Voted
OSN
2011
14 years 5 months ago
2011
—Different physical impairments can occur in optical transmission systems. Impairments such as fiber nonlinear effects are dependent on network state and vary with traffic and to...
88
Voted
JCS
2008
14 years 10 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
96
Voted
IEE
2011
14 years 5 months ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
87
Voted
CSREAPSC
2006
14 years 11 months ago
2006
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...
72
Voted
SIGPLAN
2002
14 years 10 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...