208 search results - page 11 / 42 » Realization using the model existence theorem |
100
click to vote
ICALP
2007
Springer
15 years 10 days ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
NIPS
2001
14 years 12 months ago
2001
If the promise of computational modeling is to be fully realized in higherlevel cognitive domains such as language processing, principled methods must be developed to construct th...
KBSE
1998
IEEE
15 years 2 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
ATVA
2008
Springer
15 years 17 days ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
ICAS
2009
IEEE
15 years 5 months ago
2009
IEEE
Existing middleware platforms for multi-agent systems (MAS) do not provide general support for observation. On the other hand, observation is considered to be an important mechani...