1117 search results - page 14 / 224 » Typed Feature Structures As Descriptions |
137
click to vote
JFP
2010
15 years 23 days ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
110
click to vote
FMOODS
2006
15 years 3 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
102
click to vote
WEBNET
2000
15 years 3 months ago
2000
The Resource Description Framework [RDF] provides a basic model to describe relationships between objects. Ultimately, it is intended to permit the representation, combination and ...
117
click to vote
PEPM
1993
ACM
15 years 6 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
89
Voted
COLING
1992
15 years 3 months ago
1992
Abstract -- In this paper, we present a new mathematical framework in which disjunctive feature structures are defined as directed acyclic hypergraphs. Disjunction is defined in th...