893 search results - page 122 / 179 » Modeling reactive systems in Java |
145
click to vote
SEM
2004
Springer
15 years 9 months ago
2004
Springer
Business Intelligence (BI) systems address the demands of large scale enterprises for operational analytics, management information and decision support tasks. Building such applic...
159
click to vote
PERCOM
2011
ACM
14 years 8 months ago
2011
ACM
—In this paper, we propose P3 -coupon, a Prompt and Privacy-preserving electronic coupon distribution system based on a Probabilistic one-ownership forwarding algorithm. In this ...
161
click to vote
ISSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Various system-level core-based power evaluation approaches for core types like microprocessors, caches, main memories, and buses, have been proposed in the past. Approaches for o...
136
click to vote
FORTE
2003
15 years 5 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
142
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...