117 search results - page 20 / 24 » Bochvar-McCarthy Logic and Process Algebra |
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
TPHOL
2003
IEEE
14 years 25 days ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
SIGSOFT
1998
ACM
13 years 11 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
IADIS
2008
13 years 9 months ago
2008
Multi agent learning systems pose an interesting set of problems: in large environments agents may develop localised behaviour patterns that are not necessarily optimal; in a pure...
FORTE
2004
13 years 9 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...