25 search results - page 3 / 5 » Jtlv: A Framework for Developing Verification Algorithms |
ATAL
2010
Springer
13 years 6 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...
CAV
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
WWW
2003
ACM
14 years 6 months ago
2003
ACM
Content Extraction Signatures (CES) enable selective disclosure of verifiable content, provide privacy for blinded content, and enable the signer to specify the content the docume...
HT
2009
ACM
13 years 3 months ago
2009
ACM
The online games market has matured in recent years. It is now a multi-billion dollar business with hundreds of millions players worldwide. At the same time, social networking pla...
BIOSIG
2009
13 years 6 months ago
2009
: The widespread use of biometrics and its increased popularity introduces privacy risks. In order to mitigate these risks, solutions such as the helper-data system, fuzzy vault, f...