Sciweavers

269 search results - page 18 / 54
» kais 2008
Sort
View
CJ
2002
70views more  CJ 2002»
13 years 9 months ago
Formal Methods for Assuring Security of Protocols
l examination of the underlying assumptions, abstractions, and possible actions. Consequently, assuring that a system behaves securely is virtually impossible without the use of ri...
Susan Older, Shiu-Kai Chin
PAKM
2000
13 years 11 months ago
Case Based Reasoning for Knowledge Management in KDD Projects
In this paper we introduce our departments organizational and technical infrastructure for knowledge-intensive and weak-structured processes: A framework for Knowledge Management ...
Kai Bartlmae, Michael Riemenschneider
HCC
1998
13 years 11 months ago
Standardisation, innovation and implementation of information technology
This paper looks at the mutual interplay between information technology (IT) and its environment. Exploring specifically the issues surrounding innovations in the field of corpora...
Kai Jakobs, Rob Procter, Robin Williams
DFN
2004
13 years 11 months ago
Potentiale und Sicherheitsanforderungen mobiler Finanzinformationsdienste und deren Systeminfrastrukturen
: Mobiler Push-Dienste helfen, Informationen zeitnah bereitzustellen, was besonders bei Finanzinformationsdiensten interessant ist, da sie stark von zeitkritischer Informationsvera...
Jan Muntermann, Heiko Rossnagel, Kai Rannenberg
DAGM
2008
Springer
13 years 11 months ago
Simple Incremental One-Class Support Vector Classification
We introduce the OneClassMaxMinOver (OMMO) algorithm for the problem of one-class support vector classification. The algorithm is extremely simple and therefore a convenient choice...
Kai Labusch, Fabian Timm, Thomas Martinetz