Sciweavers

1354 search results - page 202 / 271
» Towards Ontology-Guided Design of Learning Information Syste...
Sort
View
WOTUG
2007
15 years 7 months ago
Modeling and Analysis of the AMBA Bus Using CSP and B
Abstract. In this paper, we present a formal model and analysis of the AMBA Advanced High-performance Bus (AHB) on-chip bus. The model is given in CSP B—an integration of the pro...
Alistair A. McEwan, Steve Schneider
SIGCSE
2010
ACM
183views Education» more  SIGCSE 2010»
16 years 27 days ago
Electronic commerce virtual laboratory
Website security is essential for successful e-commerce ventures, but the vital “how-to” components of security are often lacking in academic courses. This paper describes our...
Joel Coffman, Alfred C. Weaver
ICC
2008
IEEE
137views Communications» more  ICC 2008»
16 years 25 days ago
On the Effect of Localization Errors on Geographic Routing in Sensor Networks
—Recently, network localization systems that are based on inter-node ranges have received significant attention. Geographic routing has been considered an application which can u...
Bo Peng, Rainer Mautz, Andrew H. Kemp, Washington ...
MM
2004
ACM
138views Multimedia» more  MM 2004»
15 years 11 months ago
INNER-active journal
This purpose of this paper is to present a journal-based system that provides a way for users to reconstruct their emotions around events in their lives, and to see how recall of ...
Shaundra Bryant Daily, Rosalind W. Picard
ICITS
2009
15 years 4 months ago
Survey: Leakage Resilience and the Bounded Retrieval Model
Abstract. This survey paper studies recent advances in the field of LeakageResilient Cryptography. This booming area is concerned with the design of cryptographic primitives resist...
Joël Alwen, Yevgeniy Dodis, Daniel Wichs