Timed event system

The General System has been described in [Zeigler76] and [ZPK00] with the stand points to define (1) the time base, (2) the admissible input segments… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
We present a timed process calculus for modelling wireless networks in which individual stations broadcast and receive messages… (More)
  • table 2
  • table 3
  • table 6
  • table 12
Is this relevant?
2014
2014
 
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2010
2010
BACKGROUND This study was designed to investigate the relation between health-related physical fitness and weight status in Hong… (More)
  • table 1
  • table 2
Is this relevant?
2007
2007
We consider Dense-Timed Petri Nets (TPN), an extension of Petri nets in which each token is equipped with a real-valued clock and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2004
2004
Formal description of real-time requirements is a difficult and error prone task. Conceptual and tool support for this activity… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Over the last years there has been an increasing research e2ort directed towards the automatic veri3cation of in3nite state… (More)
Is this relevant?
1995
1995
Perry Y. Li Roberto Horowitz 1 Department of Mechanical Engineering Department of Mechanical Engineering University of California… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?