2560 search results - page 93 / 512 » Analysis Tool for Honeypot Systems |
101
click to vote
CPHYSICS
2008
15 years 1 months ago
2008
We present wannier90, a program for calculating maximally-localised Wannier functions (MLWF) from a set of Bloch energy bands that may or may not be attached to or mixed with othe...
148
click to vote
VALUETOOLS
2006
ACM
15 years 7 months ago
2006
ACM
In this paper we describe the design, implementation, and analytical background of the DISCO Network Calculator. The DISCO Network Calculator is an open-source toolbox written in ...
116
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static...
97
Voted
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Software systems are complex and difficult to analyze. Reengineering is a complex activity that usually involves combining different techniques and tools. Moose is an reengineerin...
127
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...