2513 search results - page 17 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
CASES
2006
ACM
14 years 1 months ago
2006
ACM
Many embedded systems exhibit temporally and behaviorally disjoint behavior slices. When such behaviors are captured by state machines, the current design flow will capture it as ...
ICIS
1989
13 years 11 months ago
1989
This paper examines the relationships between software complexity and software maintainability in commercial software environments. Models are proposed for estimating the economic...
EDBTW
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
AICCSA
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper discusses an approach for solving combinatorial problems by combining software and dynamically reconfigurable hardware (configware). The suggested technique avoids inst...
IJHPCA
2010
13 years 8 months ago
2010
In this paper, we analyze restrictions of traditional communication performance models affecting the accuracy of analytical prediction of the execution time of collective communic...