Sciweavers

1595 search results - page 109 / 319
» Illustrative Parallel Coordinates
Sort
View
ICWS
2004
IEEE
15 years 7 months ago
Managing Asynchronous Web Services Interactions
Asynchronous interactions are becoming more and more important in the implementation of complex B2B Web applications. This paper addresses correlation and coordination issues invo...
Marco Brambilla, Stefano Ceri, Mario Passamani, Al...
ENTCS
2007
109views more  ENTCS 2007»
15 years 6 months ago
Symbolic Model Checking for Channel-based Component Connectors
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
Sascha Klüppelholz, Christel Baier
KBS
1998
66views more  KBS 1998»
15 years 6 months ago
Strategic knowledge in design: a compositional approach
In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at...
Frances M. T. Brazier, Pieter H. G. van Langen, Ja...
JMLR
2012
13 years 9 months ago
Primal-Dual methods for sparse constrained matrix completion
We develop scalable algorithms for regular and non-negative matrix completion. In particular, we base the methods on trace-norm regularization that induces a low rank predicted ma...
Yu Xin, Tommi Jaakkola
CSE
2011
IEEE
14 years 6 months ago
Performance Enhancement of Network Devices with Multi-Core Processors
— In network based applications, packet capture is the main area that attracts many researchers in developing traffic monitoring systems. Along with the packet capture, many othe...
Nhat-Phuong Tran, Sugwon Hong, Myungho Lee, Seung-...