Sciweavers

6562 search results - page 1307 / 1313
» Noetherianity and Combination Problems
Sort
View
ICRA
2010
IEEE
114views Robotics» more  ICRA 2010»
13 years 7 months ago
A general information quality based approach for satisfying sensor constraints in multirobot tasks
— Many architectures have been proposed to solve tightly-coupled multirobot tasks (MT) through coalitions of heterogeneous robots. However, several issues remain unaddressed. As ...
Yu Zhang, Lynne E. Parker
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
13 years 7 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
IJWBC
2010
126views more  IJWBC 2010»
13 years 6 months ago
Self-supportive virtual communities
Learning Communities in healthcare is one approach in supporting practitioners and nurses to improve skills and knowledge and consequently support patients more efficiently. Web b...
Iraklis Varlamis, Ioannis Apostolakis
INFOCOM
2010
IEEE
13 years 6 months ago
Achieving Secure, Scalable, and Fine-grained Data Access Control in Cloud Computing
—Cloud computing is an emerging computing paradigm in which resources of the computing infrastructure are provided as services over the Internet. As promising as it is, this para...
Shucheng Yu, Cong Wang, Kui Ren, Wenjing Lou
INFOCOM
2010
IEEE
13 years 6 months ago
On the Fundamental Limits of Broadcasting in Wireless Mobile Networks
Abstract—In this paper, we investigate the fundamental properties of broadcasting in mobile wireless networks. In particular, we characterize broadcast capacity and latency of a ...
Giovanni Resta, Paolo Santi
« Prev « First page 1307 / 1313 Last » Next »