2501 search results - page 284 / 501 » Logics with Rank Operators |
157
click to vote
LICS
1991
IEEE
15 years 9 months ago
1991
IEEE
Starting from a logic which speci es how to make deductions from a set of sentences (a ` at theory'), a way to generalise this toa partiallyordered bag ofsentences (a `struct...
162
Voted
EMSOFT
2008
Springer
15 years 7 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
149
click to vote
IQ
2007
15 years 7 months ago
2007
: Models of the association between input accuracy and output accuracy imply that, for any given application, the effect of input errors on the output error rate generally varies i...
171
click to vote
EUSFLAT
2009
15 years 3 months ago
2009
In this paper, the notion of a fuzzy vector of normalized weights is introduced, and its application in decision making models based on the weighted average operation is studied. T...
190
click to vote
TLDI
2010
ACM
16 years 2 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...