Issue 1/2014
Content (4 Articles)
QoS-aware management of monotonic service orchestrations
Albert Benveniste, Claude Jard, Ajay Kattepur, Sidney Rosario, John A. Thywissen
Automata-based symbolic string analysis for vulnerability detection
Fang Yu, Muath Alkhalaf, Tevfik Bultan, Oscar H. Ibarra
Some notes on the abstraction operation for multi-terminal binary decision diagrams
Ludwig Griebl, Johann Schuster