Sciweavers

9412 search results - page 1640 / 1883
» An aspect-oriented generative approach
Sort
View
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 4 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
GLOBECOM
2010
IEEE
15 years 4 months ago
Predicting Critical Intradomain Routing Events
Network equipments generate an overwhelming number of reports and alarms every day, but only a small fraction of these alarms require the intervention of network operators. Our goa...
Amelie Medem Kuatse, Renata Teixeira, Nicolas Usun...
ICCAD
2010
IEEE
141views Hardware» more  ICCAD 2010»
15 years 4 months ago
Local clock skew minimization using blockage-aware mixed tree-mesh clock network
Clock network construction is one key problem in high performance VLSI design. Reducing the clock skew variation is one of the most important objectives during clock network synthe...
Linfu Xiao, Zigang Xiao, Zaichen Qian, Yan Jiang, ...
ICDM
2010
IEEE
142views Data Mining» more  ICDM 2010»
15 years 4 months ago
Towards Community Discovery in Signed Collaborative Interaction Networks
Abstract--We propose a framework for discovery of collaborative community structure in Wiki-based knowledge repositories based on raw-content generation analysis. We leverage topic...
Petko Bogdanov, Nicholas D. Larusso, Ambuj K. Sing...
ICES
2010
Springer
217views Hardware» more  ICES 2010»
15 years 4 months ago
Markerless Articulated Human Body Tracking from Multi-view Video with GPU-PSO
In this paper, we describe the GPU implementation of a markerless full-body articulated human motion tracking system from multi-view video sequences acquired in a studio environmen...
Luca Mussi, Spela Ivekovic, Stefano Cagnoni
« Prev « First page 1640 / 1883 Last » Next »