Sciweavers

2490 search results - page 95 / 498
» Complexity of Contextual Reasoning
Sort
View
LICS
1999
IEEE
15 years 8 months ago
Proof Techniques for Cryptographic Processes
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
Michele Boreale, Rocco De Nicola, Rosario Pugliese
CHI
2009
ACM
15 years 11 months ago
Understanding knowledge management practices for early design activity and its implications for reuse
Prior knowledge is a critical resource for design, especially when designers are striving to generate new ideas for complex problems. Systems that improve access to relevant prior...
Moushumi Sharmin, Brian P. Bailey, Cole Coats, Kev...
IJET
2007
148views more  IJET 2007»
15 years 4 months ago
ENGLISH LANGUAGE TEACHING WITH AN ELECTRONIC CONCEPT MAPPING
—Educational technologies have contributed greatly to the improvement of the process of education. Besides contributing to education directly, the development in new technologies...
Erdogan Tezci, Cihad Demirli, Vahit Sapar
VLC
2008
156views more  VLC 2008»
15 years 4 months ago
An agent-based framework for sketched symbol interpretation
Recognizing hand-sketched symbols is a definitely complex problem. The input drawings are often intrinsically ambiguous, and require context to be interpreted in a correct way. Ma...
Giovanni Casella, Vincenzo Deufemia, Viviana Masca...
TRUSTBUS
2010
Springer
15 years 2 months ago
Context-Aware Privacy Design Pattern Selection
:  Context-Aware Privacy Design Pattern Selection Siani Pearson, Yun Shen HP Laboratories HPL-2010-74 Privacy, Design Patterns, Context Awareness User-related contextual factors...
Siani Pearson, Yun Shen