2957 search results - page 524 / 592 » Code analysis and CS-XML |
ACSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...
119
click to vote
ANSS
2004
IEEE
15 years 3 months ago
2004
IEEE
Recent advances in micro electro-mechanical systems and VLSI lithography have enabled the miniaturization of sensors and controllers. Such minitiarization facilitates the deployme...
CGO
2004
IEEE
15 years 3 months ago
2004
IEEE
Predicated execution enables the removal of branches by converting segments of branching code into sequences of conditional operations. An important side effect of this transforma...
103
click to vote
DSN
2004
IEEE
15 years 3 months ago
2004
IEEE
If we limit the contact rate of worm traffic, can we alleviate and ultimately contain Internet worms? This paper sets out to answer this question. Specifically, we are interested ...
130
click to vote
FLOPS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...