10038 search results - page 1897 / 2008 » Model Checking for Managers |
122
click to vote
TON
2010
14 years 7 months ago
2010
Network diagnosis, an essential research topic for traditional networking systems, has not received much attention for wireless sensor networks. Existing sensor debugging tools li...
112
Voted
MANSCI
2011
14 years 3 months ago
2011
Many revenue management (RM) industries are characterized by (a) fixed capacities in the short term (e.g., hotel rooms, seats on an airline flight), (b) homogeneous products (e....
123
Voted
CIKM
2011
Springer
14 years 22 days ago
2011
Springer
The study of information flow analyzes the principles and mechanisms of social information distribution. It is becoming an extremely important research topic in social network re...
205
click to vote
TASE
2012
IEEE
13 years 8 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
145
click to vote
SIGMETRICS
2012
ACM
13 years 3 months ago
2012
ACM
In a public cloud, bandwidth is traditionally priced in a pay-asyou-go model. Reflecting the recent trend of augmenting cloud computing with bandwidth guarantees, we consider a n...