8337 search results - page 1347 / 1668 » Reasoning With Characteristic Models |
164
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The deregulated electricity market calls for robust OPF tools that can provide (a) deterministic convergence, (b) accurate computation of a variety of nodal prices, (c) support of...
140
click to vote
ICDE
2007
IEEE
16 years 29 days ago
2007
IEEE
Information dissemination in electronic form has improved drastically over the past few years. New technologies in web feeds allow the uses to get notified automatically when new...
175
click to vote
IWPC
2007
IEEE
16 years 28 days ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
184
click to vote
LCN
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract—We introduce a game-theoretic framework for reasoning about bandwidth attacks, a common form of distributed denial of service (DDoS) attacks. In particular, our traffic...
170
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...