Sciweavers

1371 search results - page 69 / 275
» A Model for Large Scale Self-Stabilization
Sort
View
EUROPKI
2004
Springer
14 years 1 months ago
A Probabilistic Model for Evaluating the Operational Cost of PKI-based Financial Transactions
The use of PKI in large scale environments suffers some inherent problems concerning the options to adopt for the optimal cost-centered operation of the system. In this paper a Mar...
Agapios N. Platis, Costas Lambrinoudakis, Assimaki...
ICIP
2008
IEEE
14 years 9 months ago
Tracking through changes in scale
We propose a tracking system that is especially well-suited to tracking targets which change drastically in size or appearance. To accomplish this, we employ a fast, two phase tem...
Allen Tannenbaum, Arie Nakhmani, James G. Malcolm,...
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
13 years 9 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
KDD
2007
ACM
335views Data Mining» more  KDD 2007»
14 years 8 months ago
Detecting changes in large data sets of payment card data: a case study
An important problem in data mining is detecting changes in large data sets. Although there are a variety of change detection algorithms that have been developed, in practice it c...
Chris Curry, Robert L. Grossman, David Locke, Stev...
MABS
2007
Springer
14 years 1 months ago
System Issues in Multi-agent Simulation of Large Crowds
Crowd simulation is a complex and challenging domain. Crowds demonstrate many complex behaviours and are consequently difficult to model for realistic simulation systems. Analyzing...
Vidit Bansal, Ramachandra Kota, Kamalakar Karlapal...