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

Related topics

Related topics

27 relations
Apache FlexCPANComment (computer programming)Computer file
Expand

Broader (1)

Java

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Secrets in Source Code: Reducing False Positives using Machine Learning
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
Estimating point-of-interest rating based on visitors geospatial behaviour
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 and the Search for Perfect Interpolants - (Competition Contribution)
Ultimate Automizer is a software verifier that generalizes proofs for traces to proofs for larger parts for the program. In… Expand
2016
2016
Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution)
This paper describes shortly the PredatorHP Predator Hunting Party analyzer and its participation in the SV-COMP'16 software… Expand
2015
2015
Predator Hunting Party (Competition Contribution)
This paper introduces PredatorHP Predator Hunting Party, a program verifier built on top of the Predator shape analyser, and… Expand
Review
2014
Review
2014
The Web services technology typically Building Highly Dependable Wireless Web Services
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 with Unsatisfiable Cores - (Competition Contribution)
Ultimate Automizer is an automatic software verification tool for C programs. This tool is a prototype implementation of an… Expand
2010
2010
A Platform-Centric Framework for the Web Exposure and Orchestration of Distributed Objects
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
Extending a Real-Time Model-Checker to a Test-Case Generation Tool Using libCoverage
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
Splittings and the Finite Model Property
  • 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
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE