1133 search results - page 88 / 227 » Local Logics for Traces |
316
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis ...
170
click to vote
EEMMAS
2007
Springer
16 years 18 days ago
2007
Springer
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...
163
click to vote
LCTRTS
2005
Springer
15 years 12 months ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
166
click to vote
IANDC
2006
15 years 6 months ago
2006
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
165
click to vote
KR
2000
Springer
15 years 10 months ago
2000
Springer
We explore the possibility of a logic where a conclusion substantially improves over its premise(s): Specifically, we intend to rule out inference steps such that the premise conv...