We start with basic terminology and concepts of modeling, and decompose the art of modeling as a process. This overview of the process helps clarify when we should or should not u...
In this paper we discuss how mutual influences (e.g. conflicts) of different stakeholder concerns can be detected and reasoned about through composition and stepwise refinement. S...
Using a number field sieve, discrete logarithms modulo primes of special forms can be found faster than standard primes. This has raised concerns about trapdoors in discrete log cr...
The Fairisle project was concerned with ATM in the local area. An earlier paper 9] described the preliminary work and plans for the project. Here we present the experiences we hav...
The theory of modeling and simulation is well defined in result of about 30 years of research and practice. There are commonly accepted approaches and methods of working out succe...