10038 search results - page 1867 / 2008 » Model Checking for Managers |
93
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—The widespread availability of mobile wireless devices offers growing opportunities for the formation of temporary networks with only intermittent connectivity. These in...
108
click to vote
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—We propose a virtualization framework to separate the network operator (NO) who focuses on wireless resource management and service providers (SP) who target distinct objectives...
114
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—The study of Cyber-Physical System (CPS) has been an active area of research. Internet Data Center (IDC) is an important emerging Cyber-Physical System. As the demand on Interne...
106
Voted
JUCS
2010
14 years 11 months ago
2010
: In group decision making situations, there may be cases in which experts do not have an in-depth knowledge of the problem to be solved and, as a result, they may present incomple...
115
click to vote
KDD
2010
ACM
14 years 11 months ago
2010
ACM
Assume a network (V, E) where a subset of the nodes in V are active. We consider the problem of selecting a set of k active nodes that best explain the observed activation state, ...