Stream X-Machine

Known as: SXM 
The Stream X-machine (SXM) is a model of computation introduced by Gilbert Laycock in his 1993 PhD thesis, The Theory and Practice of Specification… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1966-2017
012319662017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
one of the great benefits of using a Stream X-machine (SXM) to specify a system is its associated testing method. Under certain… (More)
  • figure 1
  • figure 7
Is this relevant?
2010
2010
In order to verify the behavior of Semantic Web services, this paper have chosen Stream X-machine(SXM) as a test model to test… (More)
  • table I
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
To generate test cases for the unit testing of business process written in BPEL, developers have to prepare input data for the… (More)
  • figure 2
  • figure 1
  • figure 4
  • figure 6
  • figure 5
Is this relevant?
2008
2008
To generate test cases for the unit testing of business process written in BPEL, developers have to prepare input data for the… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2008
2008
A stream X-machine (SXM) is a type of extended finite state machine with an associated development approach that consists of… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2008
2008
The study of very ancient microfossils has recently raised contentious issues regarding interpretation of the biogenicity of the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2007
2007
The stream X-machine (SXM) is a form of extended finite state machine that describes a system as a finite set of states, an… (More)
  • figure 2
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
In software transactional memory (STM) systems, a contention manager resolves conflicts among transactions accessing the same… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2002
2002
X-machines were proposed by Holcombe as a possible specification language and since then a number of further investigations have… (More)
  • figure 1
  • figure 2
Is this relevant?
2000
2000
Stream X-machines have been used in order to specify a range of systems. One of the strengths of this approach is that, under… (More)
Is this relevant?