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

.properties

Known as: Java properties, Properties file, Property file 
.properties is a file extension for files mainly used in Java related technologies to store the configurable parameters of an application. They can… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Private and public git repositories often contain unintentional sensitive information in the source code. Many tools have been… Expand
  • table I
  • table II
  • table III
  • table V
  • table IV
2019
2019
Rating of different services, products and experiences plays an important role in our digitally assisted day-to-day life. It… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
2018
2018
Ultimate Automizer is a software verifier that generalizes proofs for traces to proofs for larger parts for the program. In… Expand
2016
2016
This paper describes shortly the PredatorHP Predator Hunting Party analyzer and its participation in the SV-COMP'16 software… Expand
2015
2015
This paper introduces PredatorHP Predator Hunting Party, a program verifier built on top of the Predator shape analyser, and… Expand
Review
2014
Review
2014
In this paper, the authors introduce Web services technology and its applications to mobile business transactions. This paper… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
2014
2014
Ultimate Automizer is an automatic software verification tool for C programs. This tool is a prototype implementation of an… Expand
2010
2010
Many of the current service-oriented architectures are built on top of distributed object technologies. These technologies have… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
2008
2008
UPPAAL is a model-checker developed by the Department of Information Technology at Uppsala University in Sweden together with… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
1993
1993
  • M. Kracht
  • J. Symb. Log.
  • 1993
  • Corpus ID: 15842060
An old conjecture of modal logics states that every splitting of the major systems K4, S4 and Grz has the finite model property… Expand