7296 search results - page 135 / 1460 » informs 2010 |
158
Voted
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
139
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
One major function of social networks (e.g., massive online social networks) is the dissemination of information such as scientific knowledge, news, and rumors. Information can be...
138
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Users of Institutional Repositories and Digital Libraries are known by their needs for very specific information about one or more subjects. To characterize users profiles and offe...
161
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Differential privacy is a notion of privacy that has become very popular in the database community. Roughly, the idea is that a randomized query mechanism provides sufficient priva...
156
click to vote
EGOV
2010
Springer
15 years 4 months ago
2010
Springer
Information-based strategies to promote open government offer many opportunities to generate social and economic value through public use of government information. Public and poli...