2525 search results - page 378 / 505 » A Framework for Semantic Gossiping |
179
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
167
click to vote
APAL
2008
15 years 6 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
149
click to vote
ENTCS
2010
15 years 5 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
177
click to vote
ENTCS
2010
15 years 5 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
141
click to vote
AMAI
2006
Springer
15 years 5 months ago
2006
Springer
In nonmonotonic reasoning, a default conditional has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional...