Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
Dick A. C. Quartel, Remco M. Dijkman, Marten van S...
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
Whilst the physical mechanism used by the eye to accommodate has been known since the mid 19th century, there have been few suggestions as to the method by which the human visual ...
Visual surveillance in outdoor environments requires the monitoring of both objects and events. The analysis is generally driven by the target application which, in turn, determin...
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...