Sciweavers

7475 search results - page 402 / 1495
» Supporting use case based requirements engineering
Sort
View
VAMOS
2008
Springer
15 years 8 months ago
Integrated Product Line Model for Semi-Automated Product Derivation Using Non-Functional Properties
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...
DSRT
2003
IEEE
16 years 19 hour ago
Enabling Real-Time Distributed Virtual Simulation over the Internet Using Host-Based Overlay Multicast
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...
Dennis M. Moen, J. Mark Pullen
COMSWARE
2007
IEEE
16 years 1 months ago
Sequence Design for Symbol-Asynchronous CDMA with Power or Rate Constraints
— 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...
Jyothiram Kasturi, Rajesh Sundaresan
FOSSACS
2004
Springer
16 years 3 days ago
Polynomials for Proving Termination of Context-Sensitive Rewriting
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...
Salvador Lucas
IBERAMIA
2004
Springer
16 years 3 days ago
Checking Social Properties of Multi-agent Systems with Activity Theory
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...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...