19 search results - page 4 / 4 » Verification of Multiple Agent Knowledge-Based Systems |
110
Voted
AAAI
2000
15 years 2 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
107
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
125
Voted
AAAI
2004
15 years 2 months ago
2004
Information Extraction methods can be used to automatically "fill-in" database forms from unstructured data such as Web documents or email. State-of-the-art methods have...
103
Voted
FAC
2010
14 years 10 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...