Sciweavers

2796 search results - page 187 / 560
» A time structure based software reliability model
Sort
View
AOSE
2007
Springer
16 years 20 days 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 7 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
16 years 20 days 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
PR
2008
328views more  PR 2008»
15 years 6 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
16 years 2 days 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