2213 search results - page 282 / 443 » Software Security |
117
Voted
CSSE
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present three embedding schemes for extensions of least significant bit overwriting to both of the two lowest bit planes in digital images. Our approaches are in...
121
Voted
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
136
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
101
Voted
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
ose of the JVM is to abstract the Java language from the hardware and software platforms it runs on. For this reason, the JVM uses services offered by the host operating system in...
119
Voted
EUROMICRO
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we present a comprehensive set of mechanisms that restore to the site administrator the capacity of enforcing Traffic Engineering (TE) policies in a multiaddressed I...