2935 search results - page 14 / 587 » An Integrated Approach to High Integrity Software Verificati... |
134
Voted
CSMR
2007
IEEE
15 years 10 months ago
2007
IEEE
The diffusion of service oriented architectures is slowed down by the lack of enough services available for satisfying service integrator needs. Nevertheless, many features desire...
96
Voted
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
202
Voted
SIGADA
1999
Springer
15 years 8 months ago
1999
Springer
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...
133
Voted
DAC
2006
ACM
15 years 7 months ago
2006
ACM
Security and reliability in processor based systems are concerns requiring adroit solutions. Security is often compromised by code injection attacks, jeopardizing even `trusted so...
144
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Functional annotation of proteins remains a challenging task. Currently the scientific literature serves as the main source for yet uncurated functional annotations, b...