2299 search results - page 200 / 460 » Logical Data Expiration |
130
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
147
click to vote
ICISS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Code injection attacks that target the control-data of an application have been prevalent amongst exploit writers for over 20 years. Today however, these attacks are gett...
137
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
168
click to vote
SIMPRA
2011
14 years 11 months ago
2011
—In the Internet of the future, a flexible, dynamic combination of wireless and wired access networks is expected to be a key driver for enlarging the broadband communication se...
217
click to vote
VLDB
2007
ACM
16 years 4 months ago
2007
ACM
Workload management for business intelligence (BI) queries poses different challenges than those addressed in the online transaction processing (OLTP) context. The fundamental pro...