3799 search results - page 693 / 760 » An Engineering Approach to Formal Methods |
158
click to vote
TCIAIG
2010
14 years 10 months ago
2010
The objective of this work is to automatically detect the use of game bots in online games based on the trajectories of account users. Online gaming has become one of the most popu...
178
click to vote
KCAP
2011
ACM
14 years 7 months ago
2011
ACM
Enriching knowledge bases with multimedia information makes it possible to complement textual descriptions with visual and audio information. Such complementary information can he...
133
click to vote
SACMAT
2010
ACM
15 years 8 months ago
2010
ACM
There has been increasing interest in automatic techniques for generating roles for role based access control, a process known as role mining. Most role mining approaches assume t...
152
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Coercing new programmers to adopt disciplined development practices such as thorough unit testing is a challenging endeavor. Test-driven development (TDD) has been proposed as a s...
148
click to vote
PROMISE
2010
14 years 11 months ago
2010
Background: Automated diagnosis of software defects can drastically increase debugging efficiency, improving reliability and time-to-market. Current, low-cost, automatic fault dia...