Sciweavers

1450 search results - page 54 / 290
» Common knowledge revisited
Sort
View
CADE
2011
Springer
13 years 9 months ago
Deciding Security for Protocols with Recursive Tests
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
Mathilde Arnaud, Véronique Cortier, St&eacu...
IMECS
2007
14 years 11 months ago
Development of Contents Management System Based on Light-Weight Ontology
—In the Structuring Nanotechnology Knowledge project, a material-independent platform for supporting development of innovative nano-materials is developed. The platform is called...
Kouji Kozaki, Yoshinobu Kitamura, Riichiro Mizoguc...
HICSS
2009
IEEE
129views Biometrics» more  HICSS 2009»
15 years 4 months ago
Identifying Organizational Knowledge Paths through Social Network Lens: Synthesis of Multi-Industry Case Studies
Unlike the common belief that knowledge flows mainly along the formal organizational hierarchy, recent research has pointed out an informal social network among organizational mem...
Young-Gul Kim, Sung-Byung Yang, Yong-Sauk Hau, Jeo...
IEEESCC
2007
IEEE
15 years 4 months ago
Development of NeuronBank: A Federation of Customizable Knowledge Bases of Neuronal Circuitry
Knowledge of neuronal circuitry is foundational to the neurosciences, but no tools have been developed for cataloguing this knowledge. Part of the problem is that the concepts use...
Robert J. Calin-Jageman, Akshaye Dhawan, Hong Yang...
HICSS
2006
IEEE
144views Biometrics» more  HICSS 2006»
15 years 3 months ago
Knowledge Transfer: Short-Circuiting the Learning Cycle?
Knowledge is considered to be a key organizational resource in the 21st century and the knowledge management ‘movement’ has alerted organizations to the fact that they should ...
Sue Newell, Robert D. Galliers