Sciweavers

1643 search results - page 72 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
HICSS
1997
IEEE
89views Biometrics» more  HICSS 1997»
15 years 2 months ago
Supporting Inspections With an Electronic Meeting System
Fagan inspections are a structured review of development documents that consists of individual preparation, a meeting and rework by the author of the document. The meeting is used...
Michiel van Genuchten, Wieger Cornelissen, Cor van...
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 1 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
ISTA
2003
14 years 11 months ago
Querying Tourism Information Systems in Natural Language
: With the increasing amount of information available on the Internet one of the most challenging tasks is to provide search interfaces that are easy to use without having to learn...
Helmut Berger, Michael Dittenbach, Dieter Merkl
JUCS
2006
117views more  JUCS 2006»
14 years 9 months ago
Information and Hybrid Architecture Model of the OCP Contextual Information Management System
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
Ignacio Nieto-Carvajal, Juan A. Botía Blaya...
BIOSIG
2009
152views Biometrics» more  BIOSIG 2009»
14 years 7 months ago
A Survey of Distributed Biometric Authentication Systems
: In ACISP'07, Bringer et al proposed a new approach for remote biometric based verification, which consists of a hybrid protocol that distributes the server side functionalit...
Neyire Deniz Sarier