20126 search results - page 240 / 4026 » Timed Transition Systems |
132
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Regular Expressions (RegExes) are widely used in various applications to identify strings of text. Their flexibility, however, increases the complexity of the detection system and ...
165
click to vote
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
143
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper investigates how to characterize the effect of multiple spectrum handoff delay on the extended data delivery time of the secondary users' connections in cognitive r...
151
click to vote
IANDC
2008
15 years 4 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
110
click to vote
ECAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents results of measuring evolution in a simple ALife system. Interpretation of these results is based on the notion of dynamical systems. This approach enables the ...