2673 search results - page 239 / 535 » Guided Static Analysis |
176
click to vote
BPM
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
151
click to vote
FPGA
2007
ACM
16 years 4 days ago
2007
ACM
Variations in the semiconductor fabrication process results in variability in parameters between transistors on the same die, a problem exacerbated by lithographic scaling. The re...
196
Voted
RTSS
2006
IEEE
15 years 12 months ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
156
click to vote
SP
2006
IEEE
15 years 12 months ago
2006
IEEE
Linux is the most popular open source project. The Linux random number generator is part of the kernel of all Linux distributions and is based on generating randomness from entrop...
160
click to vote
LCN
2003
IEEE
15 years 11 months ago
2003
IEEE
Assured Service has been proposed within the Differentiated Services (DiffServ) model to provide relative service differentiation by attempting to allocate bandwidth to different ...