6020 search results - page 653 / 1204 » A New Approach to Model Counting |
207
click to vote
SEFM
2009
IEEE
16 years 2 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
165
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This review article explores the notion of radio flexibility, its various versions (as presented in a brief taxonomy) and its efficient instantiations under various metrics, pri...
196
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
Traditional security analyses are often geared towards cryptographic primitives or protocols. Although such analyses are absolutely necessary, they do not provide much insight for...
222
click to vote
ANSS
2007
IEEE
16 years 1 months ago
2007
IEEE
New approaches are considered for performance enhancement of discrete-event simulation software. Instead of taking a purely algorithmic analysis view, we supplement algorithmic co...
211
click to vote
BIRTHDAY
2007
Springer
16 years 1 months ago
2007
Springer
Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a ...