1207 search results - page 122 / 242 » Modelling and improving human decision making with simulatio... |
TSE
2010
14 years 4 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
CCGRID
2003
IEEE
15 years 3 months ago
2003
IEEE
— Since the advent of distributed computer systems an active field of research has been the investigation of scheduling strategies for parallel applications. The common approach...
JCP
2008
14 years 10 months ago
2008
Under the environment of Service-Oriented Architecture (SOA), service users have to decide how to choose the proper provider from the candidates to obtain optimal service level. Th...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
— In this paper, we propose two types of new decoding algorithms for a network coding aided relaying (NCR) system, which adopts multiple antennas at both the transmitter and rece...
102
click to vote
ICDM
2009
IEEE
14 years 7 months ago
2009
IEEE
Being able to incorporate, inspect, and analyze data with newly developed technologies, diagnostics, and visualizations in an easy and flexible way has been a longstanding challen...