20126 search results - page 183 / 4026 » Timed Transition Systems |
181
click to vote
ICSOC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
188
click to vote
GLOBECOM
2006
IEEE
16 years 18 days ago
2006
IEEE
— A novel method is proposed for reducing the feedback rate of a transmit beamforming system with feedback of quantized channel state information. Specifically, the channel is m...
142
click to vote
ATVA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
152
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
Abstract In this paper, we propose a new loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantic...
169
click to vote
ENTCS
2002
15 years 6 months ago
2002
We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for p...