458 search results - page 58 / 92 » Monitoring of a Class of Timed Discrete Events Systems |
IPSN
2004
Springer
15 years 5 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
RAID
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Software flaws in applications such as a browser may be exploited by attackers to launch drive-by-download (DBD), which has become the major vector of malware infection....
113
click to vote
FORMATS
2003
Springer
15 years 5 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
ECRTS
2000
IEEE
15 years 4 months ago
2000
IEEE
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
ETFA
2008
IEEE
15 years 6 months ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...