2662 search results - page 102 / 533 » Objects-early tools: a demonstration |
121
click to vote
SBACPAD
2003
IEEE
15 years 6 months ago
2003
IEEE
A large set of tools for network monitoring and accounting, security, traffic analysis and prediction — more broadly, for network operation and management — require direct and...
112
click to vote
ACSAC
2000
IEEE
15 years 6 months ago
2000
IEEE
In this paper we describe a new class of tools for protecting computer systems from security attacks. Their distinguished feature is the principle they are based on. Host or netwo...
104
click to vote
SEFM
2007
IEEE
15 years 7 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...
131
click to vote
ACSC
2006
IEEE
15 years 7 months ago
2006
IEEE
The purpose of refactoring is to improve the quality of a software system by changing its internal design so that it is easier to understand or modify, or less prone to errors and...
100
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
A technique based on the sensitivity of the output to input waveform is presented for accurate propagation of delay information through a gate for the purpose of static timing ana...