3608 search results - page 266 / 722 » computer 2011 |
162
click to vote
DIMVA
2011
14 years 8 months ago
2011
In this paper we present an efficient countermeasure against code injection attacks. Our countermeasure does not rely on secret values such as stack canaries and protects against a...
178
click to vote
FOSSACS
2011
Springer
14 years 8 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
211
click to vote
QRE
2011
14 years 7 months ago
2011
papers/abstracts/authors within each session. • The Author and Session indices provide cross-reference assistance (pages 33-36). • The floor plan on page 6 shows you where tech...
179
Voted
ER
2011
Springer
14 years 4 months ago
2011
Springer
Service-oriented computing (SOC) increases flexibility of IT systems and helps enterprises to meet their changing needs. Different methods address changing requirements in service...
143
Voted
DCC
2011
IEEE
15 years 7 hour ago
2011
IEEE
Abstract. A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard ...