8828 search results - page 169 / 1766 » Formal methods in practice |
148
click to vote
FMICS
2010
Springer
15 years 5 months ago
2010
Springer
Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate....
144
Voted
CLEIEJ
2010
15 years 2 months ago
2010
Software Process Improvement, based on a Maturity Level or a Process Capability Profile, from a Capability Maturity Model or an ISO/IEC 15504-based model, is well established in t...
118
click to vote
NGITS
1999
Springer
15 years 8 months ago
1999
Springer
The integration of information from multiple databases has been an enduring subject of research for over 20 years, and many different solutions have been attempted or proposed. Mis...
136
click to vote
IR
2000
15 years 4 months ago
2000
: Previous research in conceptual indexing methods of images has furnished us with refined theoretical frameworks characterising various aspects of images that could and should be ...
136
Voted
SIGDOC
2009
ACM
15 years 11 months ago
2009
ACM
This poster presents ongoing research on how discursive and editing behaviors are regulated on Wikipedia by means of documented rules and practices. Our analysis focuses on three ...