Software product lines (SPLs) allow to generate tailormade software products by selecting and composing reusable code units. However, SPLs with hundreds of features and millions o...
Norbert Siegmund, Martin Kuhlemann, Marko Rosenm&u...
Many-to-many multicast transmission is an essential network capability for scalable distributed simulation. The many open issues that make network-layer multicast impractical over...
— Sequence design and resource allocation for a symbol-asynchronous chip-synchronous code division multiple access (CDMA) system is considered in this paper. A simple lower bound...
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...