6608 search results - page 913 / 1322 » On the Completeness of Model Checking |
169
click to vote
AAAI
2010
15 years 8 months ago
2010
For many election systems, bribery (and related) attacks have been shown NP-hard using constructions on combinatorially rich structures such as partitions and covers. It is import...
193
click to vote
CRIWG
2004
15 years 8 months ago
2004
Collaborative distance learning involves a variety of elements and factors that have to be considered and measured in order to analyse and assess group and individual performance m...
184
click to vote
FORTE
2004
15 years 8 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
202
click to vote
UAI
2000
15 years 8 months ago
2000
In this paper we present decomposable priors, a family of priors over structure and parameters of tree belief nets for which Bayesian learning with complete observations is tracta...
184
click to vote
CAISE
2010
Springer
15 years 7 months ago
2010
Springer
Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between both workflow and access control systems. There are tw...