Sciweavers

5866 search results - page 757 / 1174
» An e-Process Selection Model
Sort
View
ASWEC
2007
IEEE
15 years 11 months ago
Managing Conflicts When Using Combination Strategies to Test Software
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
Mats Grindal, Jeff Offutt, Jonas Mellin
ELPUB
2007
ACM
15 years 10 months ago
Expectation and Reality in Digital Publishing: Some Australian Perspectives
This paper presents a brief summary of the findings of a Web-based survey of the views of Australian publishers, on the potential impact of digital technologies, followed by three...
Bill Martin, Hepu Deng, Xuemei Tian
FORMATS
2007
Springer
15 years 10 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
CICLING
2010
Springer
15 years 10 months ago
Multi Word Term Queries for Focused Information Retrieval
In this paper, we address both standard and focused retrieval tasks based on comprehensible language models and interactive query expansion (IQE). Query topics are expanded using a...
Eric SanJuan, Fidelia Ibekwe-Sanjuan
CCGRID
2004
IEEE
15 years 10 months ago
Adaptive multi-resource prediction in distributed resource sharing environment
Resource prediction can greatly assist resource selection and scheduling in a distributed resource sharing environment such as a computational grid. Existing resource prediction m...
Jin Liang, Klara Nahrstedt, Yuanyuan Zhou