Sciweavers

4158 search results - page 595 / 832
» A Framework for Web Science
Sort
View
HICSS
2005
IEEE
115views Biometrics» more  HICSS 2005»
15 years 12 months ago
Strategies Employed By Participants In Virtual Learning Communities
This paper examines the learning behavior of online students in an asynchronous learning environment. We employ the theoretical lens of an online community of inquiry, to understa...
James Waters, Susan Gasson
KCAP
2005
ACM
15 years 11 months ago
Collaboratory testbed partnerships as a knowledge capture challenge
The difficulty of maintaining effective testbed partnerships, among users of computer-based tools and builders of those tools, has been an obstacle to the success of science colla...
Mary A. Keeler, Heather D. Pfeiffer
HPCC
2005
Springer
15 years 11 months ago
High Performance Subgraph Mining in Molecular Compounds
Structured data represented in the form of graphs arises in several fields of the science and the growing amount of available data makes distributed graph mining techniques partic...
Giuseppe Di Fatta, Michael R. Berthold
ICALP
2005
Springer
15 years 11 months ago
Computationally Sound Implementations of Equational Theories Against Passive Adversaries
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
Mathieu Baudet, Véronique Cortier, Steve Kr...
171
Voted
ICALP
2005
Springer
15 years 11 months ago
Up-to Techniques for Weak Bisimulation
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
Damien Pous