Sciweavers

1689 search results - page 207 / 338
» Empirical Methodologies in Software Engineering
Sort
View
ASWEC
2007
IEEE
15 years 8 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
SEFM
2006
IEEE
15 years 7 months ago
Modeling Heterogeneous Real-time Components in BIP
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
Ananda Basu, Marius Bozga, Joseph Sifakis
101
Voted
EDBTW
2004
Springer
15 years 7 months ago
Clustering XML Documents Using Structural Summaries
This work presents a methodology for grouping structurally similar XML documents using clustering algorithms. Modeling XML documents with tree-like structures, we face the ‘clust...
Theodore Dalamagas, Tao Cheng, Klaas-Jan Winkel, T...
105
Voted
CISIS
2010
IEEE
15 years 7 months ago
A Parallel Programming Framework for Multi-core DNA Sequence Alignment
—A new parallel programming framework for DNA sequence alignment in homogeneous multi-core processor architectures is proposed. Contrasting with traditional coarse-grained parall...
Tiago Jose Barreiros Martins de Almeida, Nuno Fili...
114
Voted
AC
2003
Springer
15 years 7 months ago
3D Face Recognition Using Stereoscopic Vision
In this paper a new complete system for 3D face recognition is presented. 3D face recognition presents several advantages against 2D face recognition, as, for example, invariance t...
Umberto Castellani, Manuele Bicego, Gianluca Iacon...