Sciweavers

68 search results - page 9 / 14
» SeDiTeC - Testing Based on Sequence Diagrams
Sort
View
TSP
2008
114views more  TSP 2008»
13 years 6 months ago
Universal Switching Linear Least Squares Prediction
We consider sequential regression of individual sequences under the square error loss. Using a competitive algorithm framework, we construct a sequential algorithm that can achieve...
Suleyman Serdar Kozat, Andrew C. Singer
ICIP
2003
IEEE
14 years 56 min ago
Monocular 3D human body reconstruction towards depth augmentation of television sequences
This paper addresses the reconstruction of 3 0 human body models fram Z D video sequences. Considering that the input frames are already segmented, the proposed technique consists...
Angel Domingo Sappa, Niki Aifanti, Sotiris Malassi...
ECBS
2009
IEEE
101views Hardware» more  ECBS 2009»
13 years 10 months ago
Structured Formalization of Service-Oriented Specifications
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard...
MODELS
2007
Springer
14 years 25 days ago
Architectural Aspects in UML
We propose a method for describing architectural aspects in UML and show how binding specifications are used to compose aspects with base models. UML classes, parts, ports, and c...
Jon Oldevik, Øystein Haugen
DATE
2005
IEEE
162views Hardware» more  DATE 2005»
14 years 10 days ago
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
Tim Schattkowsky, Wolfgang Müller 0003, Achim...