4305 search results - page 49 / 861 » Analysing Protocol Implementations |
DAGSTUHL
2007
13 years 10 months ago
2007
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
JCAL
2002
13 years 8 months ago
2002
The paper analyses the data collected in 10 schools in Israel which have incorporated ICT in unique ways and have succeeded in devising innovative classroom pedagogies and changes ...
FUIN
2008
13 years 8 months ago
2008
Reachability analysis is one of the most successful methods used in design and validation of protocols for classical communication, whereas the predicate/transition-net formalism i...
CORR
2011
Springer
13 years 17 days ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
CLIMA
2011
12 years 8 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...