319 search results - page 26 / 64 » Formally Verifying Dynamic Properties of Knowledge Based Sys... |
115
click to vote
SP
2008
IEEE
14 years 10 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
WWW
2003
ACM
16 years 12 days ago
2003
ACM
More and more resources are becoming available on the Web, and there is a growing need for infrastructures that, based on advertised descriptions, are able to semantically match d...
AIPS
2006
15 years 1 months ago
2006
We present an architecture that provides a robust, scalable and flexible software framework for planning and scheduling systems through the use of standardized industrial-strength...
134
click to vote
ISCA
2011
IEEE
14 years 3 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
HASE
1998
IEEE
15 years 4 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...