Abstract - Parallel robots provide high stiffness, accelerations and accuracy. They are relatively complex products that are specialized to a specific problem. Normally a new robot...
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
This paper presents a service marketplace vision for enterprise-wide integrated design modeling. In this environment, expert participants and product development organizations are...
Shaun Abrahamson, David Wallace, Nicola Senin, Pet...