Sciweavers

15777 search results - page 674 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
ICFEM
2009
Springer
16 years 1 months ago
RAFFS: Model Checking a Robust Abstract Flash File Store
Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG
Paul Taverne, Cornelis Pronk
KBSE
2008
IEEE
16 years 1 months ago
ADDSS: Architecture Design Decision Support System Tool
This paper describes the ADDSS tool which enables capturing and documenting architectural design decisions in order to avoid knowledge vaporization.
Rafael Capilla, Francisco Nava, Jesus Montes, Carl...
136
Voted
CISIS
2007
IEEE
16 years 1 months ago
Leasing Variants in Distributed Systems
In recent years, the leasing concept has become increasingly popular in the field of distributed systems; main exam
Michael Schneider, Markus Aleksy, Martin Schader, ...
WER
2007
Springer
16 years 1 months ago
Understanding the Strategic Actor Diagram: an Exercise of Meta Modeling
Julio Cesar Sampaio do Prado Leite, Vera Werneck, ...
CGO
2006
IEEE
16 years 29 days ago
Using Machine Learning to Focus Iterative Optimization
Felix V. Agakov, Edwin V. Bonilla, John Cavazos, B...