16725 search results - page 3332 / 3345 » Engineering Software Correctness |
120
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
131
Voted
SIAMCOMP
2010
15 years 1 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
128
Voted
IPPS
2010
IEEE
15 years 20 days ago
2010
IEEE
Recently, there has been strong interest in large-scale simulations of biological spiking neural networks (SNN) to model the human brain mechanisms and capture its inference capabi...
165
Voted
SIGDOC
2010
ACM
15 years 19 days ago
2010
ACM
The growing popularity of mobile devices gave birth to a still emergent research field, called Mobile Music, and concerning the development of musical applications for use in thes...
128
Voted
USS
2010
15 years 19 days ago
2010
On November 3, 2009, voters in Takoma Park, Maryland, cast ballots for mayor and city council members using the ScantegrityII voting system--the first time any end-to-end (e2e) vo...