240 search results - page 48 / 48 » Detection of MMORPG bots based on behavior analysis |
KBSE
2005
IEEE
13 years 11 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
ICNP
2003
IEEE
13 years 10 months ago
2003
IEEE
BGP has been deployed in Internet for more than a decade. However, the events that cause BGP topological changes are not well understood. Although large traces of routing updates ...
HICSS
2003
IEEE
13 years 10 months ago
2003
IEEE
Customer Relationship Management (CRM) is critical to the success of a business. Recent work in CRM has focused on the mining of customer-related data and the construction of cust...
LCTRTS
2000
Springer
13 years 9 months ago
2000
Springer
The control system of many complex mechatronic products requires for each task the Worst Case Execution Time (WCET), which is needed for the scheduler's admission tests and su...
CASES
2008
ACM
13 years 7 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...