9067 search results - page 1662 / 1814 » Adaptive Model Checking |
153
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
159
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We study the effects of various emergent topologies of interaction on the rate of language convergence in a population of communicating agents. The agents generate, parse, and lea...
159
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
IPR (Intellectual Property Rights) Management is a complex domain. The IPR field is structured by evolving regulations, practises, business models,... Therefore, DRMS (Digital Righ...
147
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
If the dataset available to machine learning results from cluster sampling (e.g. patients from a sample of hospital wards), the usual cross-validation error rate estimate can lead...
156
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but ...