Sciweavers

3778 search results - page 127 / 756
» Representing Web Graphs
Sort
View
CORR
2006
Springer
88views Education» more  CORR 2006»
14 years 10 months ago
A Graph-based Framework for Transmission of Correlated Sources over Broadcast Channels
Abstract-- In this paper we consider the communication problem that involves transmission of correlated sources over broadcast channels. We consider a graph-based framework for thi...
Suhan Choi, S. Sandeep Pradhan
JUCS
2008
116views more  JUCS 2008»
14 years 9 months ago
Parallel Key Exchange
: In the paper we study parallel key exchange among multiple parties. The status of parallel key exchange can be depicted by a key graph. In a key graph, a vertex represents a part...
Ik Rae Jeong, Dong Hoon Lee
BPM
2005
Springer
181views Business» more  BPM 2005»
15 years 3 months ago
WSMX Process Mediation Based on Choreographies
Abstract. One of the most difficult obstacles Web Services have to overcome in the attempt to exploit the true potential of the World Wide Web is heterogeneity. Caused by the natur...
Emilia Cimpian, Adrian Mocan
CSCW
2006
ACM
15 years 3 months ago
Draw-together: graphical editor for collaborative drawing
Collaborative object-based graphical editors offer good support for design teams to work concurrently on their design. However, not much research has been done on maintaining cons...
Claudia-Lavinia Ignat, Moira C. Norrie
TACAS
2009
Springer
99views Algorithms» more  TACAS 2009»
15 years 4 months ago
Ground Interpolation for the Theory of Equality
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krsti...