3971 search results - page 142 / 795 » On the Use of Properties in Java Applications |
150
Voted
WORDS
2003
IEEE
15 years 10 months ago
2003
IEEE
Assigning an application’s fault-tolerance properties (e.g., replication style, checkpointing frequency) statically, and in an arbitrary manner, can lead to the application not ...
174
click to vote
VRML
1998
ACM
15 years 9 months ago
1998
ACM
In its current state, VRML does not provide support for interaction and on-line access to databases, even though these are two fundamental issues for business applications. We hav...
140
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
139
click to vote
ACMSE
2006
ACM
15 years 11 months ago
2006
ACM
A software framework is a technology that enables software reuse, potentially yielding rich dividends but requiring significant longterm investment. However, a framework is not a ...
148
click to vote
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...