1419 search results - page 111 / 284 » Notes on Formalizing Context |
135
click to vote
AIIA
2005
Springer
15 years 2 months ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...
122
click to vote
FORTEST
2008
15 years 2 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
104
Voted
ACL
1993
15 years 2 months ago
1993
There is a need to develop a suitable computational grammar formalism for free word order languages for two reasons: First, a suitably designed formalism is likely to be more effi...
108
click to vote
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
95
Voted
BMCBI
2008
15 years 26 days ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...