3971 search results - page 433 / 795 » On the Use of Properties in Java Applications |
173
click to vote
COMPUTER
2000
15 years 6 months ago
2000
Abstract--An emerging generation of mission-critical networked applications is placing demands on the Internet protocol suite that go well beyond the properties they were designed ...
189
click to vote
JMLR
2010
15 years 1 months ago
2010
In recent years, a fundamental problem structure has emerged as very useful in a variety of machine learning applications: Submodularity is an intuitive diminishing returns proper...
223
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
195
click to vote
TVCG
2008
15 years 6 months ago
2008
We present a practical approach to generate stochastic anisotropic samples with Poisson-disk characteristic over a two-dimensional domain. In contrast to isotropic samples, we unde...
182
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...