1921 search results - page 257 / 385 » : Designing a Scalable Build Process |
131
Voted
HASE
1998
IEEE
15 years 7 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
174
Voted
RTAS
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
149
Voted
PKC
1998
Springer
15 years 7 months ago
1998
Springer
A basic function of all signatures, digital or not, is to express trust and authority, explicit or implied. This is especially the case with digital signatures used in certificates...
106
Voted
SIGOPSE
1996
ACM
15 years 7 months ago
1996
ACM
The growth and popularity of loosely-coupled distributed systems such as the World Wide Web and the touting of Java-based systems as the solution to the issues of software mainten...
159
Voted
EUROGP
2007
Springer
15 years 7 months ago
2007
Springer
This work details an auction-based model for problem decomposition in Genetic Programming classification. The approach builds on the population-based methodology of Genetic Progra...