Sciweavers

1995 search results - page 57 / 399
» From Data Flow Networks to Process Algebras
Sort
View
MOBISYS
2003
ACM
16 years 3 months ago
iFlow: Middleware-assisted Rendezvous-based Information Access for Mobile Ad Hoc Applications
Due to node mobility and limitations on bandwidth availability in wireless channels, there exist unique challenges towards achieving efficient and effective information access in ...
Zongpeng Li, Baochun Li, Dongyan Xu, Xin Zhou
140
Voted
ATAL
2006
Springer
15 years 7 months ago
Scalable and reliable data delivery in mobile ad hoc sensor networks
This paper studies scalable data delivery algorithms in mobile ad hoc sensor networks with node and link failures. Many algorithms have been developed for data delivery and fusion...
Bin Yu, Paul Scerri, Katia P. Sycara, Yang Xu, Mic...
148
Voted
AB
2007
Springer
15 years 10 months ago
Algebraic Systems Biology: Theses and Hypotheses
What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically m...
Bud Mishra
APNOMS
2007
Springer
15 years 10 months ago
Measurement Analysis of IP-Based Process Control Networks
This paper presents a measurement study of the traffic traces from the industrial process control IP networks. We present some interesting and unique traffic characteristics of the...
Young J. Won, Mi-Jung Choi, Myung-Sup Kim, Hong-Su...
ENTCS
2002
143views more  ENTCS 2002»
15 years 3 months ago
Collecting Statistics over Runtime Executions
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny S...