2513 search results - page 82 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
CMOT
2011
13 years 1 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
ICFEM
2004
Springer
14 years 3 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
Many end user programming tools such as spreadsheets and databases offer poor support for representing a level of abstraction that is intuitive to users. For example, users must w...
VAMOS
2007
Springer
14 years 4 months ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
— BLAST is a very popular Computational Biology algorithm. Since it is computationally expensive it is a natural target for acceleration research, and many reconfigurable archite...