3468 search results - page 430 / 694 » An open logical framework |
154
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
126
click to vote
SP
2000
IEEE
15 years 7 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
128
click to vote
SWAP
2008
15 years 5 months ago
2008
The definition of new concepts or roles for which extensional knowledge become available can turn out to be necessary to make a DL ontology evolve. In this paper we reformulate thi...
143
click to vote
EACL
2006
ACL Anthology
15 years 5 months ago
2006
ACL Anthology
In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to th...
114
click to vote
IADIS
2003
15 years 5 months ago
2003
Web services are a logical evolution of software components and middleware. Based on a comparison of Web services with middleware and components we come up with the statement that...