507 search results - page 85 / 102 » Counterexample-Guided Abstraction Refinement |
130
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract Peer-to-peer markets going mobile spur spontaneity in trading considerably. Spontaneity, however, imposes severe informational requirements on the market participants. Inf...
135
click to vote
CATA
2003
15 years 5 months ago
2003
This paper introduces stratified programming, a novel approach for program construction. In essence, stratified programming allows the developer to build and software at various l...
143
click to vote
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
A conversation protocol is a top-down specification framework which specifies desired global behaviors of a web service composition. In our earlier work [6] we studied the problem...
133
click to vote
AAAI
1994
15 years 5 months ago
1994
This article shows how rational analysis can be used to minimize learning cost for a general class of statistical learning problems. We discuss the factors that influence learning...
129
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...