2513 search results - page 195 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
183
Voted
DNA
2007
Springer
15 years 11 months ago
2007
Springer
Reliable DNA computing requires a large pool of oligonucleotides that do not produce cross-hybridize. In this paper, we present a transformed algorithm to calculate the maximum wei...
187
Voted
WSC
2000
15 years 8 months ago
2000
Recent breakthroughs in communication and software engineering has resulted in significant growth of web-based computing. Web-based techniques have been employed for modeling, sim...
185
click to vote
DSRT
2005
IEEE
16 years 20 days ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
211
Voted
UML
2005
Springer
16 years 15 days ago
2005
Springer
This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constrai...
223
Voted
CODES
1996
IEEE
15 years 11 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...