Sciweavers

1419 search results - page 50 / 284
» Notes on Formalizing Context
Sort
View
ENTCS
2006
173views more  ENTCS 2006»
15 years 17 days ago
Formal Security Analysis for Ad-Hoc Networks
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
Sebastian Nanz, Chris Hankin
CE
2004
88views more  CE 2004»
15 years 13 days ago
Beyond formal learning: Informal community eLearning
The goal of the study described in this paper was to gain an improved understanding of the social context of UK online centres and issues around the creation and exchange of knowl...
John Cook, Matt Smith
109
Voted
AINA
2009
IEEE
15 years 7 months ago
CCA: A Calculus of Context-Aware Ambients
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
François Siewe, Antonio Cau, Hussein Zedan
114
Voted
UM
2009
Springer
15 years 7 months ago
Context-Dependent Personalised Feedback Prioritisation in Exploratory Learning for Mathematical Generalisation
Abstract. In this paper we address the problem of prioritising feedback on the basis of multiple heterogeneous pieces of information in exploratory learning. The problem arises whe...
Mihaela Cocea, George D. Magoulas
102
Voted
LATA
2010
Springer
15 years 7 months ago
Extending Stochastic Context-Free Grammars for an Application in Bioinformatics
We extend stochastic context-free grammars such that the probability of applying a production can depend on the length of the subword that is generated from the application and sho...
Frank Weinberg, Markus E. Nebel