Sciweavers

3544 search results - page 416 / 709
» Software Testing
Sort
View
IPPS
2007
IEEE
16 years 1 months ago
A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems
In this paper we present a software tool for the simulation of distributed real-time embedded systems. Our tool is based on the popular NS-2 package for simulating the networking ...
Paolo Pagano, Prashant Batra, Giuseppe Lipari
ISSRE
2003
IEEE
16 years 2 days ago
Coverage Criteria for Logical Expressions
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...
Paul Ammann, A. Jefferson Offutt, Hong Huang
149
Voted
ITNG
2010
IEEE
15 years 12 months ago
BAUT: A Bayesian Driven Tutoring System
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
Song Tan, Kai Qian, Xiang Fu, Prabir Bhattacharya
MOMM
2009
ACM
163views Communications» more  MOMM 2009»
15 years 11 months ago
Tools for designing and prototyping activity-based pervasive applications
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
Pascal Bruegger, Denis Lalanne, Agnes Lisowska, B&...
CLEF
2006
Springer
15 years 10 months ago
Robust Ad-Hoc Retrieval Experiments with French and English at the University of Hildesheim
This paper reports on experiments submitted for the robust task at CLEF 2006 ad intended to provide a baseline for other runs for the robust task. We applied a system previously t...
Thomas Mandl, René Hackl, Christa Womser-Ha...