2004 search results - page 263 / 401 » Comparison of Model Checking Tools for Information Systems |
133
Voted
ACISP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Most current object-based distributed systems support access control lists for access control. However, it is difficult to determine which principal information to use fo...
180
click to vote
CSCW
2011
ACM
14 years 11 months ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
140
Voted
HT
2010
ACM
15 years 9 months ago
2010
ACM
Collaborative tagging systems are popular tools for organization, sharing and retrieval of web resources. Their success is due to their freedom and simplicity of use. To post a re...
175
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Query logs record the queries and the actions of the users of search engines, and as such they contain valuable information about the interests, the preferences, and the behavior ...
152
click to vote
JSS
2010
14 years 11 months ago
2010
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...