4940 search results - page 391 / 988 » On the Complexity of Universal Programs |
185
click to vote
RSP
2007
IEEE
16 years 1 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
169
Voted
BIRTHDAY
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...
185
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
220
click to vote
FPL
2007
Springer
16 years 1 months ago
2007
Springer
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
188
click to vote
ISSRE
2006
IEEE
16 years 1 months ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...