2513 search results - page 38 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ASWEC
2009
IEEE
14 years 4 months ago
2009
IEEE
Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used feature based method ...
AES
2011
Springer
12 years 10 months ago
2011
Springer
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...
SWQD
2012
12 years 5 months ago
2012
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...
KBSE
1997
IEEE
14 years 2 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
SNPD
2003
13 years 11 months ago
2003
From the early design phase through the implementation performance assessment of software has been subject to a great variety of approaches in the past. Performance modeling artif...