Sciweavers

8689 search results - page 179 / 1738
» Software: hard data
Sort
View
AIS
2006
Springer
15 years 6 months ago
"Carnivore personal edition": exploring distributed data surveillance
The goal of this paper is to offer, in straight forward terms, some practical insight into distributed data surveillance. I will use the software project Carnivore as a case study....
Alexander R. Galloway
ICST
2010
IEEE
15 years 4 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
SCAM
2008
IEEE
16 years 19 days ago
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
Nuno F. Rodrigues, Luís Soares Barbosa
ISSTA
2006
ACM
16 years 6 days ago
Inference and enforcement of data structure consistency specifications
Brian Demsky, Michael D. Ernst, Philip J. Guo, Ste...
CSMR
2002
IEEE
15 years 11 months ago
Data Exchange with the Columbus Schema for C++
To successfully carry out a software maintenance or reengineering task, a suitably assembled set of tools is required, which interoperate seaminglessly. To achieve this goal, an e...
Rudolf Ferenc, Árpád Beszédes