2540 search results - page 170 / 508 » Abstract Logics as Dialgebras |
184
click to vote
TAMC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...
173
click to vote
WOLLIC
2010
Springer
15 years 11 months ago
2010
Springer
Proof theoretic characterizations of complexity classes are of considerable interest because they link levels of conceptual abstraction to computational complexity. We consider he...
143
click to vote
ARC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents the very first implementation of a HyperTransport 3 physical layer interface for Field Programmable Gate Arrays. HyperTransport is a low latency, high...
162
click to vote
LORI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The aim of this work is propose a logical approach to intention dynamics based on the notion of assignment [7, 3]. The function of an assignment is to associate the truth...
157
click to vote
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...