This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
Short Message Service (SMS) is a popular form of nonverbal mobile communication. To date, most research has focused upon the use of SMS by teenagers and young adults. Our work exa...
Christine Soriano, Gitesh K. Raikundalia, Jakub Sz...
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
The Web services paradigm is expected to transform the Web into a distributed application-to-application network. The Web services landscape is in an evolving state with core spec...
This paper proposes and studies a hardware-based adaptive controlled migration strategy for managing distributed L2 caches in chip multiprocessors. Building on an area-efficient sh...