Sciweavers

2302 search results - page 233 / 461
» Testing as Abstraction
Sort
View
FOSSACS
2006
Springer
15 years 10 months ago
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
Michael Backes, Sebastian Mödersheim, Birgit ...
AVBPA
2003
Springer
188views Biometrics» more  AVBPA 2003»
15 years 10 months ago
Gait Analysis for Human Identification
Abstract. Human gait is an attractive modality for recognizing people at a distance. In this paper we adopt an appearance-basedapproach to the problem of gait recognition. The widt...
Amit A. Kale, Naresh P. Cuntoor, B. Yegnanarayana,...
CEC
2003
IEEE
15 years 10 months ago
Increasing the accuracy of a spam-detecting artificial immune system
AbstractSpam, the electronic equivalent of junk mail, affects over 600 million users worldwide. Even as anti-spam solutions change to limit the amount of spam sent to users, the se...
Terri Oda, Tony White
IDEAL
2000
Springer
15 years 10 months ago
Combining Ordinal Financial Predictions with Genetic Programming
Abstract. Ordinal data play an important part in financial forecasting. For example, advice from expert sources may take the form of "bullish", "bearish" or &qu...
Edward P. K. Tsang, Jin Li
IDMS
2000
Springer
139views Multimedia» more  IDMS 2000»
15 years 10 months ago
Design and Implementation of a Framework for Monitoring Distributed Component Interactions
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
Nikolay K. Diakov, Harold J. Batteram, Hans Zandbe...