5550 search results - page 58 / 1110 » Different Approaches to Proof Systems |
123
click to vote
FOSSACS
2006
Springer
15 years 9 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...
149
click to vote
ANOR
2002
15 years 6 months ago
2002
This paper provides the asymptotic analysis of the loss probability in the GI/M/1/n queueing system as n increases to infinity. The approach of this paper is alternative to that of...
271
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
133
click to vote
ICIAP
2001
Springer
16 years 6 months ago
2001
Springer
Different eigenspace-based approaches have been proposed for the recognition of faces. They differ mostly in the kind of projection method been used and in the similarity matching ...
148
click to vote
ACSD
2007
IEEE
16 years 15 days ago
2007
IEEE
The software design is one of the most challenging tasks during the design of a mechatronic system. On one hand, it has to provide solutions to deal with concurrency and timelines...