2293 search results - page 211 / 459 » Temporal Logic in Information Systems |
204
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
166
click to vote
RECSYS
2009
ACM
16 years 1 months ago
2009
ACM
Recommender systems aim to substantially reduce information overload by suggesting lists of similar items that users may find interesting. Caching has been a useful technique for...
142
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper investigates the factors affecting the Loyal Use of a Knowledge Management System (KMS). Unlike most other types of information systems, the value from using a KMS is t...
151
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
We present the design of Plurality,1 an interactive tagging system. Plurality's modular architecture allows users to automatically generate high-quality tags over Web content...
165
Voted
CSCW
1996
ACM
15 years 11 months ago
1996
ACM
In order to understand some problems associated with workflow, we set out an analysis of workflow systems, identifying a number of basic issues in the underlying technology. This ...