4447 search results - page 511 / 890 » Model Checking Games |
135
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper examines challenges involved in managing product-centered communities. Using the notion of customer role ambiguity, the paper explores the ambiguity involved in balanci...
171
click to vote
WSC
2008
15 years 9 months ago
2008
The Monte Carlo and discrete-event simulation code associated with the Simulation 101 pre-conference workshop (offered at the 2006, 2007, and 2008 Winter Simulation Conferences) i...
139
click to vote
ACMSE
2008
ACM
15 years 9 months ago
2008
ACM
In this paper we present a framework for rapid prototyping of airplane designs as an example of the benefits of integrating simulation, gaming, and design interfaces into a cohesi...
204
click to vote
CCIA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper we introduce an agent architecture for joint action negotiation among several agents in complex environments and with negotiation time bounds. The architect...
176
click to vote
SP
1998
IEEE
15 years 11 months ago
1998
IEEE
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...