Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Type-length-value

Known as: TLV 
Within data communication protocols, optional information may be encoded as a type-length-value or TLV element inside a protocol. TLV is also known… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2014
Highly Cited
2014
The tip leakage vortex (TLV), which develops in the clearance between the rotor and the stator of axial hydro turbines, has been… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Jtlv is a computer-aided verification scripting environment offering state-of-the-art Integrated Developer Environment for… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2009
2009
Process-Aware Information Systems (PAISs) need more flexibility for supporting complex and varying human activities. PAISs… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The paper presents recent trends in modeling jets in crossflow with relevance to film cooling of turbine blades. The aim is to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The paper presents the method of network invariants for verifying a wide spectrum of LTL properties, including liveness, of… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Segmentation continues to be an important marketing concept also in a relationship marketing context. Relationship marketing is… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We describe a computer-aided verification system which combines deductive with algorithmic (model-checking) verification methods… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The Toxics Release Inventory (TRI) is the most comprehensive and widely reported information on hazardous discharges to the… Expand
Is this relevant?
1991
1991
To eliminate mercury vapor from gas streams, three major methods are used: condensation, absorption, and adsorption. This work… Expand
  • table 1
  • table 2
  • figure 1
  • table 3
  • table 4
Is this relevant?