310 search results - page 33 / 62 » Symbolic Model Based Testing for Component Oriented Systems |
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We describe an analytic approach, multiscale analysis, that can demonstrate the fundamental limitations of decomposition based engineering for the development of highly c...
TRECVID
2008
13 years 9 months ago
2008
In this paper, we describe the Toshiba event detection system for TRECVID surveillance event detection task [1]. Our system consists of four components: (1) a flexible and robust ...
JDCTA
2010
13 years 2 months ago
2010
Multiview image registration is to compute the globally consistent transformations of a sequence of images. Due to various uncertainties, multiview image registration is considere...
ECSCW
1993
13 years 9 months ago
1993
: Most cooperation support systems require information about the organisational context in which they are used. This is particularly required when systems are used in a large organ...
HICSS
2003
IEEE
14 years 28 days ago
2003
IEEE
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...