Sciweavers

2912 search results - page 407 / 583
» A Study of Collaboration in Software Design
Sort
View
111
Voted
ICST
2008
IEEE
15 years 10 months ago
Efficient Test Data Generation for Variables with Complex Dependencies
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...
Armin Beer, Stefan Mohacsi
107
Voted
AUIC
2006
IEEE
15 years 9 months ago
Middle-aged users' experience of short message service
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...
117
Voted
SEFM
2005
IEEE
15 years 9 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
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 ...
151
Voted
EUROMICRO
2003
IEEE
15 years 9 months ago
Web Service Standards and Real Business Scenario Challenges
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...
Çigdem Patlak, Ayse Basar Bener, Haluk Bing...
155
Voted
HIPEAC
2009
Springer
15 years 7 months ago
ACM: An Efficient Approach for Managing Shared Caches in Chip Multiprocessors
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...
Mohammad Hammoud, Sangyeun Cho, Rami G. Melhem