4340 search results - page 316 / 868 » Formal Methods and Cryptography |
197
Voted
AGTIVE
2007
Springer
16 years 26 days ago
2007
Springer
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...
170
click to vote
KI
2007
Springer
16 years 25 days ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
193
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
165
click to vote
HICSS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
191
click to vote
SEW
2005
IEEE
16 years 8 days ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...