Sciweavers

8132 search results - page 1216 / 1627
» Dependability, Abstraction, and Programming
Sort
View
195
Voted
ENDM
2010
136views more  ENDM 2010»
15 years 7 months ago
Approximating the asymmetric profitable tour
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...
Viet Hung Nguyen, Thi Thu Thuy Nguyen
172
Voted
ECEASST
2008
77views more  ECEASST 2008»
15 years 7 months ago
Using OCL in Executable UML
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...
Ke Jiang, Lei Zhang, Shigeru Miyake
ENTCS
2008
79views more  ENTCS 2008»
15 years 7 months ago
j-POST: a Java Toolchain for Property-Oriented Software Testing
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...
Yliès Falcone, Laurent Mounier, Jean-Claude...
EOR
2008
150views more  EOR 2008»
15 years 6 months ago
Portfolio optimization when asset returns have the Gaussian mixture distribution
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 ...
Ian Buckley, David Saunders, Luis Seco
FUIN
2008
91views more  FUIN 2008»
15 years 6 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
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 ...
Erika Ábrahám, Frank S. de Boer, Wil...
« Prev « First page 1216 / 1627 Last » Next »