1354 search results - page 202 / 271 » Towards Ontology-Guided Design of Learning Information Syste... |
153
click to vote
WOTUG
2007
15 years 7 months ago
2007
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...
155
click to vote
SIGCSE
2010
ACM
16 years 27 days ago
2010
ACM
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...
204
click to vote
ICC
2008
IEEE
16 years 25 days ago
2008
IEEE
—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...
161
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
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 ...
179
click to vote
ICITS
2009
15 years 4 months ago
2009
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...