12487 search results - page 148 / 2498 » Graspable Work Modeling |
146
click to vote
COMPSEC
2010
15 years 3 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
CSCW
2002
ACM
15 years 3 months ago
2002
ACM
In this paper we present the Clover architectural model, a new conceptual architectural model for groupware. Our model results from the combination of the layer approach of Dewan&...
100
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
In this paper we present a novel framework for extracting the ratable aspects of objects from online user reviews. Extracting such aspects is an important challenge in automatical...
113
Voted
TAMC
2009
Springer
15 years 10 months ago
2009
Springer
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...
150
Voted
JCDL
2009
ACM
15 years 10 months ago
2009
ACM
This article describes the process and challenges of developing a content model that can support the content and metadata present in a complex media archive. Media archives have s...