: Under water sensor network is an important research direction in computer science. There are many interesting optimization problems regarding its design, routing and applications...
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
Arindam Chakrabarti, Luca de Alfaro, Thomas A. Hen...