Version Identifier

 
National Institutes of Health

Topic mentions per year

Topic mentions per year

2001-2018
01220012018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
  • Lukas Harzenetter
  • 2018
Cloud applications are subject to frequent changes to enable fast feedback on user requests about problems and features, or to… (More)
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
Is this relevant?
2005
2005
The ITP tool is an experimental inductive theorem prover for proving properties of Maude equational specifications, i.e… (More)
Is this relevant?
2003
2003
This paper deals with class and interface name clashes in Java component systems that occur because of evolutionary changes… (More)
  • table 1
Is this relevant?
2001
2001
This paper describes the development of the data model TVM which contains a new concept, temporal versioning. This generalises… (More)
  • figure 1
  • figure 2
Is this relevant?
2001
2001
When developing software components in a distributed environment, certain issues regarding the component specifications must be… (More)
  • figure 2
  • figure 3
Is this relevant?