2488 search results - page 201 / 498 » An improvement in formal verification |
125
click to vote
ICWS
2008
IEEE
15 years 2 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
102
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
109
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
MICAI
2000
Springer
15 years 4 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
107
click to vote
JMM2
2006
15 years 1 months ago
2006
Abstract-- In general automatic face classification applications images are captured in natural environments. In these cases, the performance is affected by variations in facial im...