2685 search results - page 237 / 537 » A Formal Semantics for SPKI |
151
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
132
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Electronic inter-organizational relationships are governed by contracts regulating their interaction. It is necessary to run-time monitor the contracts, as to guarantee their fulfi...
158
click to vote
ECTEL
2008
Springer
15 years 8 months ago
2008
Springer
The idea of representing knowledge in formal models gets more and more popular. Since these models are understandable and thus processable by machines, the retrieval of knowledge i...
182
click to vote
COLING
1990
15 years 8 months ago
1990
: CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for describing phrasal and iexical information and princ...
150
click to vote
IJAR
2008
15 years 6 months ago
2008
The Dempster-Shafer (DS) theory of probabilistic reasoning is presented in terms of a semantics whereby every meaningful formal assertion is associated with a triple (p, q, r) whe...