The difficulty to compare network simulators is a major obstacle to the broader adoption of these tools. This problem particularly affects 802.11 simulators because the 802.11 prot...
: This paper discusses design families and design individuals. Phase space is introduced to complement state space. Phase transition as a generic method of generating design famili...
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise or a project we will usually integrate e...
Michael Gnatz, Frank Marschall, Gerhard Popp, Andr...
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...