1880 search results - page 196 / 376 » A Static Analysis for Beta-Binders |
190
click to vote
BPM
2007
Springer
16 years 24 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...
161
click to vote
FPGA
2007
ACM
16 years 24 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...
206
click to vote
RTSS
2006
IEEE
16 years 19 days 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...
169
click to vote
SP
2006
IEEE
16 years 19 days 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...
182
click to vote
IWCMC
2006
ACM
16 years 17 days ago
2006
ACM
In this paper, We mathematically model the In-Range localization scheme in the presence of a Mobile Beacon. In the In-Range localization scheme, a sensor with unknown location is ...