Sciweavers

23988 search results - page 708 / 4798
» Social Network Computing
Sort
View
CONEXT
2007
ACM
15 years 9 months ago
SWARM: self-organization of community wireless mesh networks
Saumitra M. Das, Konstantina Papagiannaki, Suman B...
NOCS
2010
IEEE
15 years 5 months ago
Fault-Tolerant Flow Control in On-chip Networks
Young Hoon Kang, Taek-Jun Kwon, Jeffrey T. Draper
ICNS
2009
IEEE
15 years 5 months ago
A Standards-Based Alarms Service for Monitoring Federated Networks
Charaka Palansuriya, Jeremy Nowell, Florian Schari...
232
Voted
FM
2009
Springer
138views Formal Methods» more  FM 2009»
16 years 1 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...