Sciweavers

485 search results - page 64 / 97
» Modular Visitor Components
Sort
View
CARDIS
2008
Springer
146views Hardware» more  CARDIS 2008»
15 years 3 months ago
Provably Secure Grouping-Proofs for RFID Tags
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
Mike Burmester, Breno de Medeiros, Rossana Motta
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 2 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
BIS
2008
132views Business» more  BIS 2008»
15 years 2 months ago
Evaluate - An Innovative Service for Learning Performance Monitoring in Businesses
In this paper we present Evaluate, a platform for learning performance monitoring. Evaluate manages a number of artefacts that can be used to monitor learning performance, like met...
Bernd Simon, Kasra Seirafi, Asmund Realfsen, Mark ...
CIIT
2004
15 years 2 months ago
Signal processing tools for speech recognition
This paper describes the design and development of a set of signal processing software tools for speech recognition. The tools were developed for inclusion in a comprehensive publ...
Hualin Gao, Richard Duncan, Julie Baca, Joseph Pic...
LWA
2004
15 years 2 months ago
The Personal Reader: A Framework for Enabling Personalization Services on the Semantic Web
The Personal Reader1 provides a framework for designing, implementing and maintaining web content readers, which provide personalized enrichment of web content for each individual...
Nicola Henze, Marc Herrlich