2255 search results - page 164 / 451 » High Assurance Software Systems |
179
click to vote
ICSM
2007
IEEE
16 years 22 days ago
2007
IEEE
Bioinformaticists use the Basic Local Alignment Search Tool (BLAST) to characterize an unknown sequence by comparing it against a database of known sequences, thus detecting evolu...
176
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
157
Voted
CHI
2010
ACM
16 years 1 months ago
2010
ACM
CT This paper presents results from a study examining perceptions and practices of usability in the free/open source software (FOSS) community. 27 individuals associated with 11 di...
166
click to vote
ISCA
1993
IEEE
15 years 10 months ago
1993
IEEE
We evaluate the e ect of processor speed, network bandwidth, and software overhead on the performance of release-consistent software distributed shared memory. We examine ve di er...
179
click to vote
HICSS
2008
IEEE
16 years 26 days ago
2008
IEEE
“Crowdsourcing” is currently one of the most discussed key words within the open innovation community. The major question for both research and business is how to find and lev...