770 search results - page 153 / 154 » Dinatural Terms in System F |
SNPD
2008
13 years 8 months ago
2008
The selective application of technological and related procedural safeguards is an important responsibility of every organization in providing adequate security to its electronic ...
AAAI
2006
13 years 8 months ago
2006
Voting (or rank aggregation) is a general method for aggregating the preferences of multiple agents. One important voting rule is the Slater rule. It selects a ranking of the alte...
WORM
2003
13 years 8 months ago
2003
Due to the fast spreading nature and great damage of Internet worms, it is necessary to implement automatic mitigation, such as dynamic quarantine, on computer networks. Enlighten...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
We propose Path Disruption Games (PDGs), which consider collaboration between agents attempting stop an adversary from travelling from a source node to a target node in a graph. P...
ISSTA
2010
ACM
13 years 7 months ago
2010
ACM
Applications that process complex inputs often react in different ways to changes in different regions of the input. Small changes to forgiving regions induce correspondingly smal...