536 search results - page 50 / 108 » A computer verified, monadic, functional implementation of t... |
209
click to vote
TVLSI
2010
15 years 24 days ago
2010
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...
186
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Massively parallel sequencing readouts of epigenomic assays are enabling integrative genome-wide analyses of genomic and epigenomic variation. Pash 3.0 performs sequen...
135
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Although carbohydrates are the third major class of biological macromolecules, after proteins and DNA, there is neither a comprehensive database for carbohydrate struc...
147
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
A computationally enhanced message contains some embedded programmatic components that are interpreted and executed automatically upon receipt. Unlike ordinary text email or insta...
180
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
The web service is a main working pattern and a significant application model for next generation Internet application. The service-oriented architecture is a very promising archi...