Sciweavers

2560 search results - page 285 / 512
» Analysis Tool for Honeypot Systems
Sort
View
INFOVIS
2003
IEEE
15 years 12 months ago
Design Choices when Architecting Visualizations
In this paper, we focus on some of the key design decisions we faced during the process of architecting a visualization system and present some possible choices, with their associ...
Diane Tang, Chris Stolte, Robert Bosch
ACSAC
2002
IEEE
15 years 11 months ago
Enforcing Resource Bound Safety for Mobile SNMP Agents
The integration of mobile agents with SNMP creates significant advantages for the management of complex networks. Nevertheless, the security concerns of mobile agent technology l...
Weijiang Yu, Aloysius K. Mok
CCGRID
2006
IEEE
15 years 10 months ago
DIMVisual: Data Integration Model for Visualization of Parallel Programs Behavior
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...
Lucas Mello Schnorr, Philippe Olivier Alexandre Na...
GRAPHICSINTERFACE
2008
15 years 8 months ago
An empirical characterisation of electronic document navigation
To establish an empirical foundation for analysis and redesign of document navigation tools, we implemented a system that logs all user actions within Microsoft Word and Adobe Rea...
Jason Alexander, Andy Cockburn
STTT
2010
122views more  STTT 2010»
15 years 5 months ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...