533 search results - page 107 / 107 » Verification of Distributed Firewalls |
164
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
125
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...
153
Voted
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
There is now considerable evidence in social psychology, economics, and related disciplines that emotion plays an important role in negotiation. For example, humans make greater c...