Sciweavers

2796 search results - page 187 / 560
» A time structure based software reliability model
Sort
View
179
Voted
AOSE
2007
Springer
15 years 10 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
VISSYM
2004
15 years 5 months ago
Adaptive Volume Construction from Ultrasound Images of a Human Heart
We present a volume modelling approach based on sequences of two-dimensional ultrasound images. Though generally applicable to arbitrary freehand ultrasound, our method is designe...
Gerd Reis, Martin Bertram, Rolf Hendrik van Lengen...
AIMS
2007
Springer
15 years 10 months ago
IBGP Confederation Provisioning
This paper proposes an optimization method for the design of large scale confederation based BGP networks. We propose a graph based model and an associated metric to evaluate the r...
Mohamed Nassar, Radu State, Olivier Festor
182
Voted
PR
2008
328views more  PR 2008»
15 years 3 months ago
Activity based surveillance video content modelling
This paper tackles the problem of surveillance video content modelling. Given a set of surveillance videos, the aims of our work are twofold: firstly a continuous video is segment...
Tao Xiang, Shaogang Gong
LICS
2005
IEEE
15 years 9 months ago
Generalizing Parametricity Using Information-flow
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
Geoffrey Washburn, Stephanie Weirich