2513 search results - page 370 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
115
click to vote
MIDDLEWARE
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
115
click to vote
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
CASES
2001
ACM
15 years 4 months ago
2001
ACM
Intertask/interprocess synchronization overheads may be significant in a multiprocessor-shared memory System-on-a-Chip implementation. These overheads are observed in terms of loc...
101
Voted
FPGA
2008
ACM
15 years 2 months ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...