475 search results - page 47 / 95 » Formal Analysis of Processor Timing Models |
116
click to vote
SOCO
2008
Springer
15 years 3 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
132
Voted
IFIP
2009
Springer
15 years 29 days ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
169
click to vote
EEF
2000
15 years 6 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
130
click to vote
WORDS
2002
IEEE
15 years 8 months ago
2002
IEEE
The Worst-Case Execution-Time Analysis (WCET Analysis) of program code that is to be executed on modern processors is a highly complex task. First, it involves path analysis, to i...
100
click to vote
DAC
2004
ACM
16 years 4 months ago
2004
ACM
The desynchronization approach combines a traditional synchronous specification style with a robust asynchronous implementation model. The main contribution of this paper is the d...