714 search results - page 59 / 143 » Formal Verification of Cognitive Models |
131
Voted
IESA
2007
15 years 3 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
COMCOM
2000
15 years 1 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...
109
click to vote
CBSE
2006
Springer
15 years 5 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
130
click to vote
FORTE
2004
15 years 3 months ago
2004
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...
88
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...