Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
This paper discusses the requirements on future radio access and, based on the requirements, proposes a framework for such a system. The proposed system based on orthogonal frequen...
One of the key challenges of current day electronic procurement systems is to enable procurement decisions transcend beyond a single attribute such as cost. Consequently, multiatt...
S. Kameshwaran, Y. Narahari, Charles H. Rosa, Deva...
One approach to supply chain coordination is early order commitment, whereby a retailer commits to purchase a fixedorder quantity at a fixed delivery time before demand uncertai...