9067 search results - page 766 / 1814 » Adaptive Model Checking |
288
click to vote
FAABS
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
209
click to vote
ACNS
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we model the adversary (eavesdropper) present in the wireless communication medium using probabilistic models. We precisely formulate the security-throughput optimiz...
195
click to vote
INFORMATIKTAGE
2008
15 years 9 months ago
2008
: Software agents are often employed in distributed environments to cope with the various dynamical dimensions of such systems. Furthermore, the paradigm of agent-oriented software...
182
click to vote
LREC
2008
15 years 9 months ago
2008
This paper describes the corpus of university lectures that has been recorded in European Portuguese, and some of the recognition experiments we have done with it. The highly spec...
191
click to vote
SYNTHESE
2010
15 years 6 months ago
2010
Throughout more than two millennia philosophers adhered massively to ideal standards of scientific rationality going back ultimately to Aristotle’s Analytica posteriora. These s...