3792 search results - page 657 / 759 » Techniques for Trusted Software Engineering |
143
Voted
ACSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
Despite the numerous prevention and protection mechanisms that have been introduced into modern operating systems, the exploitation of memory corruption vulnerabilities still repr...
123
Voted
MOBIHOC
2010
ACM
14 years 10 months ago
2010
ACM
We investigate the performance of longest-queue-first (LQF) scheduling (i.e., greedy maximal scheduling) for wireless networks under the SINR interference model. This interference...
165
click to vote
DLS
2009
14 years 10 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
141
Voted
CSCW
2011
ACM
14 years 7 months ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
119
Voted
PE
2010
Springer
14 years 7 months ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...