14642 search results - page 279 / 2929 » It's Time for a Change |
198
click to vote
CSREAESA
2003
15 years 8 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
160
click to vote
VIIP
2001
15 years 8 months ago
2001
Large and complex information requires arbitrarily extensive displays for an exact, comprehensive visualization. This paper introduces a technique, time-multiplexing, for presenti...
161
click to vote
WSC
2004
15 years 8 months ago
2004
In the analysis of a manufacturing system, the analyst is often interested in the change in mean cycle time as a function of different throughput (start rate) levels. Since the va...
169
click to vote
FUIN
2007
15 years 6 months ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
135
click to vote
TIS
2002
15 years 6 months ago
2002
stract entity pointing forward, but by a "web" allowing for different strands to go their own way while weaved together to create a coherent pattern, and this is how the ...