2513 search results - page 133 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
106
click to vote
CODES
2004
IEEE
15 years 1 months ago
2004
IEEE
There is a growing need for accurate power models at the system level. Memory structures such as caches, Branch Target Buffers (BTBs), and register files occupy significant area i...
SERP
2010
14 years 7 months ago
2010
As the use of online business systems increase so does the need to produce more efficient and less error prone web based Modeling is a core abstraction mechanism used to manage co...
ICSEA
2006
IEEE
15 years 4 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
ICSE
1998
IEEE-ACM
15 years 2 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
BPM
2007
Springer
15 years 2 months ago
2007
Springer
To facilitate the implementation of workflows, enterprise and workflow system vendors typically provide sets of workflow templates for their software. Each of these templates depic...