8132 search results - page 1216 / 1627 » Dependability, Abstraction, and Programming |
195
Voted
ENDM
2010
15 years 7 months ago
2010
Abstract We study the version of the asymmetric prize collecting traveling salesman problem, where the objective is to find a directed tour that visits a subset of vertices such th...
172
Voted
ECEASST
2008
15 years 7 months ago
2008
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
190
click to vote
ENTCS
2008
15 years 7 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
152
click to vote
EOR
2008
15 years 6 months ago
2008
Abstract. Portfolios of assets whose returns have the Gaussian mixture distribution are optimized in the static setting to find portfolio weights and efficient frontiers using the ...
161
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...