3657 search results - page 73 / 732 » A Study of Practical Deduplication |
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
CANDT
2009
14 years 2 months ago
2009
User-created media content is being increasingly shared with the communities people belong to. The content has a role of a motivator in social interaction within the communities. ...
CBSE
2008
Springer
14 years 8 days ago
2008
Springer
The OSGiTM Service Platform is becoming the de facto standard for modularized Java applications. The market of OSGi based COTS components is continuously growing. OSGi specific pro...
CCS
2008
ACM
14 years 8 days ago
2008
ACM
Although biometrics have garnered significant interest as a source of entropy for cryptographic key generation, recent studies indicate that many biometric modalities may not actu...
DSML
2008
13 years 11 months ago
2008
: Today's online model repositories offer to download and view the textual specifications of e.g. metamodels and models in the browser. For users, in order to efficiently sear...