Sciweavers

195 search results - page 18 / 39
» Modular design through component abstraction
Sort
View
OTM
2005
Springer
14 years 2 months ago
Seamless Engineering of Location-Aware Services
Abstract. In this paper we present a novel approach to design and implement applications that provide location-aware services. We show how a clear separation of design concerns (e....
Gustavo Rossi, Silvia E. Gordillo, Andres Fortier
MATA
2005
Springer
169views Communications» more  MATA 2005»
14 years 2 months ago
Facilitating Context-Awareness Through Hardware Personalization Devices: The Simplicity Device
Abstract. The paper presents the specification, development and initial performance evaluation of the Simplicity Device (SD), which is one of the key components of the SIMPLICITY A...
J. Papanis, Sofia Kapellaki, Eleftherios Koutsolou...
EVOW
2008
Springer
13 years 10 months ago
Analogue Circuit Control through Gene Expression
Abstract. Software configurable analogue arrays offer an intriguing platform for automated design by evolutionary algorithms. Like previous evolvable hardware experiments, these pl...
Kester Clegg, Susan Stepney
FMCAD
2007
Springer
14 years 14 days ago
Transaction Based Modeling and Verification of Hardware Protocols
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
Xiaofang Chen, Steven M. German, Ganesh Gopalakris...
CARDIS
2008
Springer
146views Hardware» more  CARDIS 2008»
13 years 10 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