Reflective programming is becoming popular due to the increasing set of dynamic services provided by execution environments like JVM and CLR. With custom attributes Microsoft int...
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...
Current language mechanisms for concurrency are largely isolated to the domain of single programs. Furthermore, increasing interest in concurrent programming encourages further res...
Component-based software engineering (CBSE) spans a range of technologies and engineering practices. Engineering practices for component-based systems (e.g., design, integrate, te...
This tutorial will focus on several new real-world applications that have been developed using an integrated set of methods, including Tabu Search, Scatter Search, Mixed Integer P...
Jay April, Marco Better, Fred Glover, James P. Kel...