Sciweavers

2441 search results - page 113 / 489
» Integrated Medical Analysis System
Sort
View
ACSAC
2005
IEEE
15 years 10 months ago
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
Jan Jürjens
ICONS
2008
IEEE
15 years 10 months ago
Analysis of Hybrid Systems Using HySAT
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
Christian Herde, Andreas Eggers, Martin Fränz...
HICSS
2007
IEEE
135views Biometrics» more  HICSS 2007»
15 years 10 months ago
Context-Based Recommender Systems in Conventional Grocery--An Economic Analysis
In today’s grocery the products are getting more homogenous and attributes are getting more complex. Consumers should be supported in their decisions during the shopping process...
Daniel Ch. Buser
IVC
2000
182views more  IVC 2000»
15 years 4 months ago
Expert system for automatic analysis of facial expressions
This paper discusses our expert system called Integrated System for Facial Expression Recognition (ISFER), which performs recognition and emotional classification of human facial ...
Maja Pantic, Léon J. M. Rothkrantz
RE
2010
Springer
14 years 11 months ago
From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation
Natural language is the main presentation means in industrial requirements documents. This leads to the fact that requirements documents are often incomplete and inconsistent. Desp...
Leonid Kof