We describe methods for the specification and modification of virtual resections in medical volume data. These techniques are focused on applications in therapy planning, but are a...
Meeting deadlines is a key requirement in safe realtime systems. Worst-case execution times (WCET) of tasks are needed for safe planning. Contemporary worst-case timing analysis t...
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
This work is based on the premise that online learning environments can potentially help develop communities of scholars by enabling participants to discover persons and resources...