597 search results - page 36 / 120 » E-Process Design and Assurance Using Model Checking |
147
click to vote
OSN
2011
14 years 9 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...
129
Voted
JCS
2008
15 years 2 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. ...
145
click to vote
IEE
2011
14 years 9 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...
115
click to vote
CSREAPSC
2006
15 years 3 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...
103
Voted
SIGPLAN
2002
15 years 2 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...