488 search results - page 78 / 98 » Weighted Logics for Traces |
EUROPAR
2009
Springer
14 years 2 months ago
2009
Springer
Massively Multiplayer Online Games (MMOGs) currently entertain millions of players daily. To keep these players online and generate revenue, MMOGs are currently relying on manually...
ASWEC
2006
IEEE
14 years 1 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
ICAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— We target the problem of predicting resource usage in situations where the modeling data is scarce, non-stationary, or expensive to obtain. This scenario occurs frequently in c...
ICNP
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...