10038 search results - page 426 / 2008 » Model Checking for Managers |
199
click to vote
TSMC
2010
15 years 1 months ago
2010
Traditional planning assumes reachability goals and/or full observability. In this paper, we propose a novel solution for safety and reachability planning with partial observabilit...
199
click to vote
COMCOM
2007
15 years 7 months ago
2007
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and t...
201
click to vote
SIGDOC
1998
ACM
15 years 11 months ago
1998
ACM
It is hard to manage the software design documents within a distributed development team. The issues include the format, distribution and evolution of data. This paper mainly focu...
164
click to vote
WSC
2008
15 years 9 months ago
2008
Demand disturbances in service businesses are typically managed by resource actions such as hiring, releasing and cross training of the workforce. The magnitudes of resource actio...
219
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...