20126 search results - page 63 / 4026 » Timed Transition Systems |
125
click to vote
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
141
click to vote
DAM
2008
15 years 3 months ago
2008
A transitive orientation of an undirected graph is an assignment of directions to its edges so that these directed edges represent a transitive relation between the vertices of th...
153
click to vote
Presentation
Transit services are currently facing several challenges in the United States and around the
world. For many reasons, among which the fluctuations in gas prices and the state of t...
137
click to vote
FPGA
2004
ACM
15 years 6 months ago
2004
ACM
Pattern matching for network security and intrusion detection demands exceptionally high performance. Much work has been done in this field, and yet there is still significant roo...
119
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...