1932 search results - page 115 / 387 » Molecule-oriented programming in Java |
82
Voted
TACAS
2007
Springer
15 years 6 months ago
2007
Springer
We present JPF–SE, an extension to the Java PathFinder Model Checking framework (JPF) that enables the symbolic execution of Java programs. JPF–SE uses JPF to generate and expl...
95
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
A program is reentrant if distinct executions of that program on distinct inputs cannot affect each other. Reentrant programs have the desirable property that they can be deployed...
88
Voted
ICSM
2003
IEEE
15 years 5 months ago
2003
IEEE
The distributed development and maintenance paradigm for component delivery is fraught with problems. One wants a relationship between developers and clients that is autonomous an...
99
Voted
DOA
2000
15 years 1 months ago
2000
XML has emerged as the universal standard for exchanging and externalizing data. Software products of all kinds are being upgraded to "support XML." Typically this means...
105
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
In this paper, we reviewed of several portable parallel programming paradigms for use in a distributed programming environment. The Techniques reviewed here are portable. These ar...