342 search results - page 40 / 69 » Compositional Testing with ioco |
CE
2005
13 years 8 months ago
2005
This paper focuses on technologies that enable meaningful, constructionist interaction in collaborative music environments. In particular, it describes the design and implementati...
BMCBI
2011
13 years 3 months ago
2011
Background: Microarrays offer great potential as a platform for molecular diagnostics, testing clinical samples for the presence of numerous biomarkers in highly multiplexed assay...
EUROCRYPT
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. Processing on encrypted data is a subject of rich investigation. Several new and exotic encryption schemes, supporting a diverse set of features, have been developed for ...
CCS
2009
ACM
14 years 19 days ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
CEC
2010
IEEE
13 years 9 months ago
2010
IEEE
This paper presents an updated version of the adaptive learning particle swarm optimizer (ALPSO) [6], we call it ALPSO-II. In order to improve the performance of ALPSO on multi-mod...