2560 search results - page 279 / 512 » Analysis Tool for Honeypot Systems |
179
click to vote
INFOVIS
1998
IEEE
15 years 11 months ago
1998
IEEE
Geographic Visualization, sometimes called cartographic visualization, is a form of information visualization in which principles from cartography, geographic information systems ...
163
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
Large programs are typically built from separate modules. Traditional whole-program analysis cannot be used in the context of such modular development. In this paper we consider an...
160
click to vote
TACAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
182
click to vote
ICRE
1998
IEEE
15 years 11 months ago
1998
IEEE
Systems requirements errors are numerous, persistent, and expensive. To detect such errors, and focus on critical ones during the development of a requirements document, we have d...
191
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...