Sciweavers

4081 search results - page 5 / 817
» The Impact of Constraint Programming
Sort
View
CONSTRAINTS
2008
114views more  CONSTRAINTS 2008»
13 years 7 months ago
Modeling Biological Systems in Stochastic Concurrent Constraint Programming
Luca Bortolussi, Alberto Policriti
UML
2005
Springer
14 years 23 days ago
Refactoring OCL Annotated UML Class Diagrams
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
Slavisa Markovic, Thomas Baar
ANOR
2007
73views more  ANOR 2007»
13 years 7 months ago
A sample-path approach to optimal position liquidation
We consider the problem of optimal position liquidation with the aim of maximizing the expected cash flow stream from the transaction in the presence of temporary or permanent ma...
Pavlo A. Krokhmal, Stan Uryasev
ICSE
2008
IEEE-ACM
14 years 8 months ago
Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
Jinjun Chen, Yun Yang
SAS
2009
Springer
281views Formal Methods» more  SAS 2009»
14 years 7 months ago
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
David Niedzielski, Jeffery von Ronne, Andreas Gamp...