4731 search results - page 223 / 947 » Securing Interactive Programs |
143
click to vote
OOPSLA
2007
Springer
16 years 11 days ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...
147
click to vote
SSS
2005
Springer
15 years 11 months ago
2005
Springer
Dijkstra’s concept of self-stabilization assumes that faults can only affect the variables of a program. We study the notion of selfstabilization if faults can also affect (i.e...
173
click to vote
PPDP
2009
Springer
16 years 23 days ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
224
click to vote
ALDT
2011
Springer
14 years 6 months ago
2011
Springer
Security and sustainability are two critical global challenges that involve the interaction of many intelligent actors. Game theory provides a sound mathematical framework to model...
142
click to vote
EICS
2009
ACM
16 years 23 days ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...