7213 search results - page 114 / 1443 » Automated model grouping |
ENTCS
2007
14 years 10 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
IJISEC
2007
14 years 10 months ago
2007
Abstract. We examine the popular proof models for group key establishment of Bresson et al. [BCPQ01,BCP01] and point out missing security properties addressing malicious protocol p...
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Many current object class models build on visual parts that constitute an object. However, visually different entities may actually refer to the same object part. This may be harm...
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...