Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 206,115,918 papers from all fields of science
Search
Sign In
Create Free Account
.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
Create Alert
Alert
Related topics
Related topics
27 relations
Apache Flex
CPAN
Comment (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
Aakanksha Saha
,
Tamara Denning
,
Vivek Srikumar
,
S. Kasera
International Conference on COMmunication Systems…
2020
Corpus ID: 212649107
Private and public git repositories often contain unintentional sensitive information in the source code. Many tools have been…
Expand
2019
2019
Estimating point-of-interest rating based on visitors geospatial behaviour
Matej Senozetnik
,
Luka Bradesko
,
+4 authors
D. Mladenic
Comput. Sci. Inf. Syst.
2019
Corpus ID: 69657422
Rating of different services, products and experiences plays an important role in our digitally assisted day-to-day life. It…
Expand
2018
2018
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution)
Matthias Heizmann
,
Yu-Fang Chen
,
+8 authors
A. Podelski
TACAS
2018
Corpus ID: 4894482
Ultimate Automizer is a software verifier that generalizes proofs for traces to proofs for larger parts for the program. In…
Expand
2017
2017
User-friendly finite element design of main entries, barrier pillars, and bleeder entries
W. Pariseau
,
M. Larson
,
Heather Lawson
,
D. Tesarik
2017
Corpus ID: 64863280
2015
2015
Predator Hunting Party (Competition Contribution)
Petr Müller
,
Petr Peringer
,
T. Vojnar
TACAS
2015
Corpus ID: 14721527
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
Wenbing Zhao
2014
Corpus ID: 7351346
In this paper, the authors introduce Web services technology and its applications to mobile business transactions. This paper…
Expand
2014
2014
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution)
Matthias Heizmann
,
J. Christ
,
+6 authors
A. Podelski
TACAS
2014
Corpus ID: 12938542
Ultimate Automizer is an automatic software verification tool for C programs. This tool is a prototype implementation of an…
Expand
2008
2008
Extending a Real-Time Model-Checker to a Test-Case Generation Tool Using libCoverage
Fredrik Stenh
2008
Corpus ID: 107315983
UPPAAL is a model-checker developed by the Department of Information Technology at Uppsala University in Sweden together with…
Expand
2001
2001
The power and size of mean reversion tests
Kent D. Daniel
2001
Corpus ID: 35463920
Review
1999
Review
1999
Polymer-layered silicate nanocomposites: an overview
P. Lebaron
,
Zhen Wang
,
T. Pinnavaia
1999
Corpus ID: 55728970
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