11565 search results - page 184 / 2313 » Computing Minimal Mappings |
113
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
118
Voted
RR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. It is well-knwon that crisp RDF is not suitable to represent vague information. Fuzzy RDF variants are emerging to overcome to this limitations. In this work we provide, ...
128
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents an algorithm for maximizing the lifetime of a sensor network while guaranteeing an upper bound on the end-to-end delay. We prove that the proposed algorithm...
150
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
We show how fault injection together with recent advances in stochastic model checking can be combined to form a crucial ingredient for improving quantitative safety analysis. Base...
120
click to vote
ACL
2004
15 years 6 months ago
2004
We show that a practical translation of MRS descriptions into normal dominance constraints is feasible. We start from a recent theoretical translation and verify its assumptions o...