Global standards management process

Known as: Gsmp 
The Global Standard Management Process (GSMP) is part of the GS1 system of standards used in World Trade. It is an integral part of the GS1 standards… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1980-2015
01219802015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Model checking is a popular algorithmic verification technique for checking temporal requirements of mathematical models of… (More)
  • figure 1
Is this relevant?
2015
2015
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov… (More)
  • figure 1
  • figure 2
Is this relevant?
2008
2008
The modern-day system-on-chip communication posses complex characteristics- (a) the communication times of individual… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
2007
2007
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov… (More)
  • figure 1
  • figure 2
Is this relevant?
2006
2006
Model checking is a popular algorithmic verification technique for checking temporal requirements of mathematical models of… (More)
  • figure 1
Is this relevant?
2003
2003
General switch management protocol (GSMP) is an open interface between a label switch and a controller, and it provides… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2002
2002
This memo defines a portion of the Management Information Base (MIB) for the use with the network management protocols in the… (More)
Is this relevant?
1998
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1983
1983
A generalized semi-Markov process (GSMP) is a stochastic process description of a large class of discrete-event simulations. GSMP… (More)
Is this relevant?
Highly Cited
1980
Highly Cited
1980
It is shown that sequences of generalized semi-Markov processes converge in the sense of weak convergence of random functions if… (More)
Is this relevant?