5356 search results - page 98 / 1072 » Adventures in time and space |
FORTE
2010
15 years 1 months ago
2010
Abstract. In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of syst...
100
click to vote
TSP
2010
14 years 6 months ago
2010
We derive a signal processing framework, called space signal processing, that parallels time signal processing. As such, it comes in four versions (continuous/discrete, infinite/fi...
HYBRID
1999
Springer
15 years 4 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
112
click to vote
WADS
2009
Springer
15 years 6 months ago
2009
Springer
The time required for a sequence of operations on a data structure is usually measured in terms of the worst possible such sequence. This, however, is often an overestimate of the ...
CONCUR
1991
Springer
15 years 3 months ago
1991
Springer
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....