We introduce server operating systems, which are sets of abstractions and runtime support for specialized, highperformance server applications. We have designed and are implementi...
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ga...
This paper comes back to the problem of coordination of cooperative activities with a Workflow management system. First, we describe the differences that we have noted between busi...
This paper investigates the issue of PID-controller parameter tuning for a magnetic levitation system using the nondominated sorting genetic algorithm (NSGA-II). The magnetic levi...
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...