2766 search results - page 389 / 554 » Hybridizing a Logical Framework |
128
click to vote
SP
2000
IEEE
15 years 8 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...
153
click to vote
ECOOP
1995
Springer
15 years 8 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
131
click to vote
SWAP
2008
15 years 6 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...
146
click to vote
EACL
2006
ACL Anthology
15 years 6 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...