Sciweavers

485 search results - page 64 / 97
» Modular Visitor Components
Sort
View
CARDIS
2008
Springer
146views Hardware» more  CARDIS 2008»
13 years 11 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»
13 years 10 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»
13 years 10 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
13 years 10 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
13 years 10 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