10916 search results - page 119 / 2184 » On Constructive Connectives and Systems |
174
click to vote
HYBRID
2010
Springer
16 years 29 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
195
click to vote
ICONFERENCE
2012
14 years 2 months ago
2012
This paper presents findings from two research projects that entail needs assessments, benchmarking, and onsite diagnostics of anchor institutions in support of multi-million doll...
184
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. The Galois connection involving polymorphisms and coclones has received a lot of attention in regard to constraint satisfaction problems. However, it fails if we are inte...
163
click to vote
EUROMICRO
2005
IEEE
16 years 2 days ago
2005
IEEE
This article addresses the utilisation of the componentbased approach for building and executing a distributed application that can offer services over a set of heterogeneous and ...
160
click to vote
INFOCOM
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— The topological structure of the Internet infrastructure is an important and interesting subject that attracted significant research attention in the last few years. A...