2214 search results - page 344 / 443 » Complexity of Reasoning |
121
click to vote
ENTCS
2008
15 years 3 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
111
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper describes a set of methods for randomly drawing traces in large models either uniformly among all traces, or with a coverage criterion as target. Classical random walk ...
126
click to vote
BIB
2006
15 years 3 months ago
2006
This article is a critical review of computational techniques used to model, analyse and simulate signalling networks. We propose a conceptual framework, and discuss the role of s...
111
click to vote
IANDC
2008
15 years 3 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
111
click to vote
ENTCS
2006
15 years 3 months ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...