Sciweavers

5128 search results - page 309 / 1026
» When Abstraction Fails
Sort
View
172
Voted
ACNS
2009
Springer
142views Cryptology» more  ACNS 2009»
16 years 2 months ago
Integrity Protection for Revision Control
Abstract. Users of online-collaboration tools and network storage services place considerable trust in their providers. This paper presents a novel approach for protecting data int...
Christian Cachin, Martin Geisler
SEMWEB
2009
Springer
16 years 2 months ago
Analysis of a Real Online Social Network Using Semantic Web Frameworks
Abstract. Social Network Analysis (SNA) provides graph algorithms to characterize the structure of social networks, strategic positions in these networks, specific sub-networks and...
Guillaume Erétéo, Michel Buffa, Fabi...
182
Voted
UM
2009
Springer
16 years 2 months ago
A Model of Temporally Changing User Behaviors in a Deployed Spoken Dialogue System
Abstract. User behaviors on a system vary not only among individuals but also within the same user when he/she gains experience on the system. We empirically investigated how indiv...
Kazunori Komatani, Tatsuya Kawahara, Hiroshi G. Ok...
CDC
2008
IEEE
160views Control Systems» more  CDC 2008»
16 years 2 months ago
Analysis of sampled-data interconnected systems
Abstract— In this paper, we consider the sampled-data problem of interconnected systems, specifically, time- and spaceinvariant systems. Our main contribution is to provide suf...
Chun Zhang, Geir E. Dullerud
126
Voted
LICS
2008
IEEE
16 years 1 months ago
A Logical Characterization of Individual-Based Models
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
James F. Lynch