Sciweavers

462 search results - page 49 / 93
» Applying UML and MDA to Real Systems Design
Sort
View
113
Voted
KDD
2008
ACM
174views Data Mining» more  KDD 2008»
16 years 29 days ago
Automatic identification of quasi-experimental designs for discovering causal knowledge
Researchers in the social and behavioral sciences routinely rely on quasi-experimental designs to discover knowledge from large databases. Quasi-experimental designs (QEDs) exploi...
David D. Jensen, Andrew S. Fast, Brian J. Taylor, ...
100
Voted
HICSS
2006
IEEE
142views Biometrics» more  HICSS 2006»
15 years 6 months ago
Measuring the Effectiveness of Honeypot Counter-Counterdeception
Honeypots are computer systems that try to fool cyberattackers into thinking they are ordinary computer systems, when in fact they are designed solely to collect data about attack...
Neil C. Rowe
LOPSTR
2007
Springer
15 years 6 months ago
Snapshot Generation in a Constructive Object-Oriented Modeling Language
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
Mauro Ferrari, Camillo Fiorentini, Alberto Momigli...
BCS
2008
15 years 2 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
95
Voted
ISMAR
2006
IEEE
15 years 6 months ago
Predicting and estimating the accuracy of n-occular optical tracking systems
Marker-based optical tracking systems are widely used in augmented reality, medical navigation and industrial applications. We propose a model for the prediction of the target reg...
Martin Bauer, Michael Schlegel, Daniel Pustka, Nas...