1490 search results - page 287 / 298 » Monitoring Mobile Code |
115
Voted
ACMSE
2004
ACM
15 years 5 months ago
2004
ACM
Modern processors include features such as deep pipelining, multilevel cache hierarchy, branch predictors, out of order execution engine, and advanced floating point and multimedi...
CASES
2004
ACM
15 years 5 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
SIGSOFT
2004
ACM
15 years 5 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
116
click to vote
FMCO
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
131
click to vote
IFIP
2001
Springer
15 years 4 months ago
2001
Springer
ā Semi-formal veriļ¬cation based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...