899 search results - page 81 / 180 » Cost Analysis of Games, Using Program Logic |
COMCOM
2008
14 years 12 months ago
2008
A user located in a congested area of a wireless LAN may benefit by moving to a less-crowded area and using a less-loaded access point. This idea has gained attention from research...
123
click to vote
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
102
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
STOC
2002
ACM
16 years 4 days ago
2002
ACM
We investigate the price of selfish routing in non-cooperative networks in terms of the coordination and bicriteria ratios in the recently introduced game theoretic network model ...
114
click to vote
SIGSOFT
2008
ACM
16 years 18 days ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...