2487 search results - page 211 / 498 » Collaborative Engineering Software Development: Ontology-Bas... |
121
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
118
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
—For software, the costs of failures are not clearly understood. Often, these costs disappear in the costs of testing, the general developments costs, or the operating expenses. ...
172
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Mistral is an open source software for biometrics applications. This software, based on the well-known UBM/GMM approach includes also the latest speaker recognition developments s...
114
Voted
FECS
2006
15 years 5 months ago
2006
- Many small businesses require distributed information systems but do not have the resources to develop, host or maintain them. An alternative approach may be to offer the softwar...
176
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...