2116 search results - page 228 / 424 » On Probabilistic Alternating Simulations |
145
click to vote
CDC
2008
IEEE
16 years 12 days ago
2008
IEEE
— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...
144
click to vote
NOMS
2008
IEEE
16 years 10 days ago
2008
IEEE
—In this paper∗ , we devise a novel method for bottleneck analysis of UDP networks based on the concept of network utility maximization. To determine the losses on the links in...
141
click to vote
DATE
2007
IEEE
16 years 8 days ago
2007
IEEE
Networks-on-Chip (NoCs) have recently emerged as a scalable alternative to classical bus and point-to-point architectures. To date, performance evaluation of NoC designs is largel...
137
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
We propose the use of “selective blocking” by “blocker tags” as a way of protecting consumers from unwanted scanning of RFID tags attached to items they may be carrying or...
141
click to vote
ACMSE
2000
ACM
15 years 10 months ago
2000
ACM
Scenarios are narratives that illustrate future possibilities, such as proposed systems or plans, and help policy makers and designers choose among alternative courses of action. ...