Sciweavers

156
Voted
SFM
2011
Springer
253views Formal Methods» more  SFM 2011»
14 years 9 days ago
Application-Layer Connector Synthesis
The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to coo...
Paola Inverardi, Romina Spalazzese, Massimo Tivoli