3971 search results - page 42 / 795 » On the Use of Properties in Java Applications |
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
14 years 3 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
GECCO
2009
Springer
14 years 28 days ago
2009
Springer
Abstract. The generation of network topologies with specific, userspecified statistical properties is the aim of this paper. This is achieved through the use of an artifical Gene R...
PARELEC
2000
IEEE
14 years 1 months ago
2000
IEEE
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...
CVPR
2008
IEEE
13 years 9 months ago
2008
IEEE
Efficient segmentation of globally optimal surfaces in volumetric images is a central problem in many medical image analysis applications. Intra-class variance has been successful...
CCS
2011
ACM
12 years 9 months ago
2011
ACM
Browser designers create security mechanisms to help web developers protect web applications, but web developers are usually slow to use these features in web-based applications (...