Search Sciweavers | Sciweavers

In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...

Anatoly E. Doroshenko, Ruslan Shevchenko

claim paper

Read More »

117

click to vote

INFORMATICASI
2008

81views more INFORMATICASI 2008»

Dynamic Slicing of Aspect-Oriented Programs

15 years 6 months ago

Download www.informatica.si

Durga Prasad Mohapatra, Madhusmita Sahu, Rajeev Ku...

claim paper

Read More »

138

click to vote

INFORMS
2006

83views more INFORMS 2006»

Dynamic-Programming Approximations for Stochastic Time-Staged Integer Multicommodity-Flow Problems

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers