Sciweavers

1088 search results - page 87 / 218
» Tools for support of automata-based programming
Sort
View
DKE
2010
112views more  DKE 2010»
14 years 10 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar
EOR
2008
200views more  EOR 2008»
14 years 10 months ago
A dynamic stochastic programming model for international portfolio management
We develop a multi-stage stochastic programming model for international portfolio management in a dynamic setting. We model uncertainty in asset prices and exchange rates in terms...
Nikolas Topaloglou, Hercules Vladimirou, Stavros A...
JTRES
2009
ACM
15 years 4 months ago
On transforming Java-like programs into memory-predictable code
The ScopedMemory class of the RTSJ enables the organization of objects into regions. This ensures time-predictable management of dynamic memory. Using scopes forces the programmer...
Diego Garbervetsky, Sergio Yovine, Víctor A...
IPPS
2008
IEEE
15 years 4 months ago
Improving software reliability and productivity via mining program source code
A software system interacts with third-party libraries through various APIs. Insufficient documentation and constant refactorings of third-party libraries make API library reuse ...
Tao Xie, Mithun Acharya, Suresh Thummalapenta, Kun...
CBMS
2006
IEEE
15 years 3 months ago
Evaluation of an Online Analogical Patient Simulation Program
Medulator™, a commercial Web-based, variable response, patient simulation application, was modified to test the effect of case sequencing, explicit case comparison, and user-gen...
Gregory A. Thompson, Robert G. Morrison, Keith J. ...