Sciweavers

3229 search results - page 516 / 646
» Mixing
Sort
View
119
Voted
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 4 months ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...
152
Voted
CAISE
2010
Springer
15 years 4 months ago
Situational Evaluation of Method Fragments: An Evidence-Based Goal-Oriented Approach
Despite advances in situational method engineering, many software organizations continue to adopt an ad-hoc mix of method fragments from wellknown development methods such as Scrum...
Hesam Chiniforooshan Esfahani, Eric Yu, Jordi Cabo...
CANDT
2009
15 years 4 months ago
Overhearing the crowd: an empirical examination of conversation reuse in a technical support community
This paper describes a mixed method, empirical analysis of conversation reuse in an online technical support community. I find that the same characteristics that make the conversa...
Derek L. Hansen
CATA
2009
15 years 4 months ago
Comparison of Strategies for Serving Two Streams of Jobs
Highly varying job demands generally consist of many short jobs mixed with several long jobs. In this paper, we consider a simple scenario where two job streams with different lev...
Feng Zhang, Lester Lipsky, Sarah Tasneem, Steve Th...
175
Voted
CHI
2008
ACM
15 years 4 months ago
Testing vs. code inspection vs. what else?: male and female end users' debugging strategies
Little is known about the strategies end-user programmers use in debugging their programs, and even less is known about gender differences that may exist in these strategies. With...
Neeraja Subrahmaniyan, Laura Beckwith, Valentina G...