1078 search results - page 39 / 216 » Modelling and Verifying of e-Commerce Systems |
127
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
Current object class recognition systems typically target 2D bounding box localization, encouraged by benchmark data sets, such as Pascal VOC. While this seems suitable for the de...
COORDINATION
2009
Springer
16 years 11 days ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
107
click to vote
QEST
2006
IEEE
15 years 5 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
137
click to vote
ASIAN
2009
Springer
15 years 28 days ago
2009
Springer
In cryptographic protocols, zero knowledge proofs are employed for a principal A to communicate some non-trivial information t to B while at the same time ensuring that B cannot de...
107
click to vote
IJCAI
2003
15 years 1 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...