By conducting simulations, we show that the structure of the personal networks significantly influences the diffusion processes in network effect markets like the software market....
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
Middleware enables distributed components to interact with each others in diverse and complex manners. Such interactions should be modeled at architecture level for controlling th...
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...
Features have been widely used by the product line community to model variability. They represent the common and variable characteristics of the members of a product line. They ar...